مولد جداول الحقيقة.

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).