Gratuit · Éducation et sciences
Générateur de table de vérité.
Construisez la table de vérité de toute expression logique (ET, OU, NON, XOR, NAND, NOR, implication, équivalence) avec mintermes, formule simplifiée et test d’équivalence.
Loading the calculator…
Comment utiliser cet outil: Générateur de table de vérité
Saisissez ou sélectionnez vos données. Réglez les options, générez le résultat puis vérifiez-le avant de le copier ou de le télécharger.
Limites et formats acceptés
Vos données sont traitées sur votre appareil.
Notes techniques en anglais
Up to 10 variables (1,024 rows). Everything is calculated in your browser; nothing you type is uploaded.
Precedence: NOT, AND/NAND, XOR, OR/NOR, implication (right-associative), equivalence. Simplification uses the Quine–McCluskey method with a greedy cover; the result is always equivalent.
(A AND B) OR NOT C is true in 5 of 8 rows, Σm(0, 2, 4, 6, 7), and simplifies to ¬C ∨ (A ∧ B).