Table de vérité

Construisez la table de vérité d'une expression logique avec colonnes intermédiaires, ordre des opérations, FND et FNC canoniques.

Les variables sont des lettres latines (x, y, z, w, A, B, x1). Opérations : ¬ ! not — négation, ∧ & * and — conjonction, ∨ | + or — disjonction, ⊕ ^ xor — ou exclusif, → -> — implication, ≡ ↔ == — équivalence. Ordre : ¬, ∧, ∨ et ⊕, →, ≡ ; les opérations de même priorité se font de gauche à droite.

Testez-vous

Le générateur de table de vérité construit la table de vérité d'une expression logique avec des colonnes intermédiaires, montre l'ordre des opérations, indique si l'expression est une tautologie ou une contradiction, et écrit les formes normales disjonctive (FND) et conjonctive (FNC) canoniques.

Opérations logiques

Opération	Symbole	Saisie	Vraie lorsque
négation (NON)	¬	! ~ not	l'opérande est faux
conjonction (ET)	∧	& * and	les deux sont vrais
disjonction (OU)	∨	\| + or	au moins un est vrai
OU exclusif	⊕	^ xor	les valeurs sont différentes
implication	→	->	sauf 1 → 0
équivalence	≡	== <->	les valeurs sont égales

Ordre : parenthèses, négation, conjonction, disjonction et XOR, implication, équivalence ; les opérations de même priorité s'effectuent de gauche à droite. Avec n variables, la table comporte 2ⁿ lignes.

Exemple. (x ∨ y) → ¬z est fausse seulement lorsque x ∨ y = 1 et z = 1 : dans 3 lignes sur 8.