Table de vérité d'une expression logique

Une table de vérité liste tous les cas possibles d'une condition. Écrivez votre expression, par exemple A ET (B OU NON C), et obtenez les 8 lignes en un instant.

Jimenez JulienPar , éditeur de Calepin Binaire · mis à jour le

Variables
A, B, C
Lignes vraies
3 sur 8
Nature de l'expression
Contingente : vraie dans certains cas seulement.
ABCRésultat
0000
0010
0100
0110
1001
1010
1101
1111

Comment ça se calcule

L'expression est analysée avec les priorités usuelles : NON d'abord, puis ET, puis OU exclusif, puis OU. Pour n variables, l'outil teste les 2^n combinaisons de 0 et de 1 et évalue l'expression pour chacune. Si toutes les lignes valent 1, c'est une tautologie ; si toutes valent 0, une contradiction.

Questions fréquentes

Quels mots et symboles sont acceptés ?

ET, OU, NON, XOR en français, AND, OR, NOT en anglais, ainsi que &, |, ! et ^. Les variables sont des lettres seules.

Pourquoi limiter à cinq variables ?

Parce que le nombre de lignes double à chaque variable : cinq variables donnent déjà 32 lignes, lisibles à l'écran.

Cas fréquents

Des exemples déjà remplis, avec leur explication :

Intégrer cet outil sur votre site

Copiez ce code pour afficher l'outil sur votre site ou votre blog. L'outil s'exécute dans le navigateur du visiteur, sans cookie ni suivi, et affiche un lien « Propulsé par Calepin Binaire » vers cette page.

Aperçu de la version intégrable : https://mircode.org/embed/table-de-verite-expression-logique/

Les résultats sont fournis à titre indicatif. Pour aller plus loin, découvrez les sites de la catégorie Sandbox et casse-têtes de l'annuaire et lisez le guide de cette catégorie.

Autres outils

Voir les 35 outils