Outil en ligne pour convertir une table de vérité en expression logique

Fonctionnalités et exemple concret

Cet outil vous aide à obtenir une expression logique à partir d'une spécification de table de vérité. Par exemple, si vous entrez les variables A,B et les mintermes 1,2, l'outil produira l'expression : (!A && B) || (A && !B). Cela correspond à la fonction OU exclusif (XOR).

Paramètres et traitement

L'outil accepte de 1 à 6 variables uniques (caractères ASCII). Les indices de mintermes doivent être compris entre 0 et 2^n - 1. Les doublons sont ignorés. Si la liste des mintermes est vide, l'expression résultante est false, représentant une fonction qui est toujours fausse.

Format de sortie

L'expression est donnée en forme normale disjonctive canonique : chaque ligne sélectionnée contribue à un minterme complet contenant toutes les variables. Les opérateurs sont : ! pour NON, && pour ET, || pour OU.

Limitations

Cet outil ne minimise pas l'expression, n'accepte pas de lignes indifférentes (don't-care), ne génère pas de forme CNF/POS, ne dessine pas de circuits et n'importe pas de table de vérité tabulaire. Pour une expression minimisée, utilisez l'outil de tableau de Karnaugh.

Questions fréquentes

Comment interpréter les indices de mintermes ?

Chaque indice correspond à une combinaison de valeurs des variables. Par exemple, avec deux variables A et B, l'indice 0 correspond à A=0, B=0 ; l'indice 1 à A=0, B=1 ; l'indice 2 à A=1, B=0 ; l'indice 3 à A=1, B=1. La première variable est le bit le plus significatif.

Que se passe-t-il si je saisis un indice hors limites ?

Les indices valides vont de 0 à 2^n - 1. Si vous entrez un indice hors de cette plage, l'outil affichera une erreur. Il est préférable de vérifier vos saisies.

Puis-je utiliser des espaces ou des symboles dans les noms de variables ?

Chaque nom commence par une lettre ASCII et peut continuer avec des lettres ASCII, des chiffres ou des traits de soulignement, par exemple Flag_2. Les espaces à l’intérieur du nom sont interdits ; ceux autour du nom sont supprimés. Les noms doivent être uniques et séparés par des virgules.

Liste de contrôle

• Vérifiez que les variables sont uniques et séparées par des virgules.
• Assurez-vous que les indices de mintermes sont dans la plage valide.
• Comprenez que l'expression n'est pas minimisée.
• Utilisez l'outil de Karnaugh si vous avez besoin d'une expression simplifiée.

Les indices de mintermes en double ne sont pris en compte qu’une fois, dans leur ordre de première apparition. AND, OR, NOT, true et false sont réservés, sans distinction entre majuscules et minuscules. Chaque champ accepte au maximum 500 000 unités de code UTF-16 ; l’expression générée est soumise à la même limite. Utilisez des noms courts, car chaque ligne sélectionnée répète toutes les variables. L’expression n’est pas minimisée. L’outil K-map de ce site prend en charge au maximum quatre variables.