Générateur de tables de vérité
Entrez une expression propositionnelle avec p, q, r, s et les opérateurs ! (NON), & (ET), | (OU), -> (IMPLIQUE), <-> ou = (SI ET SEULEMENT SI), ^ (XOR). La calculatrice analyse la formule, l'évalue sur chaque affectation et indique si c'est une tautologie, une contradiction ou une contingence.
Questions fréquentes
Quels opérateurs puis-je utiliser ?
! ou ¬ pour NON, & ou ∧ pour ET, | ou ∨ pour OU, -> ou → pour IMPLIQUE, <-> ou ↔ ou = pour SI ET SEULEMENT SI, ^ ou ⊕ pour XOR. Espaces et parenthèses autorisés.
Combien de variables sont prises en charge ?
Jusqu'à quatre : p, q, r, s. Avec quatre, la table compte 16 lignes.
Différence entre tautologie, contradiction et contingence ?
Une tautologie est vraie sur chaque ligne, une contradiction est fausse sur chaque ligne, et une contingence est tantôt vraie tantôt fausse.