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 minterms 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 minterms doivent être compris entre 0 et 2^n - 1. Les doublons sont ignorés. Si la liste des minterms 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 minterm 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 minterms ?

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 l'ignorera ou affichera une erreur, selon l'implémentation. Il est préférable de vérifier vos saisies.

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

Non, seuls des identifiants ASCII uniques sont acceptés, sans espaces ni symboles spéciaux. Utilisez des lettres simples comme A, B, C, etc.

Liste de contrôle

• Vérifiez que les variables sont uniques et séparées par des virgules.
• Assurez-vous que les indices de minterms 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.