Truth Table Generator
Enter a propositional expression using p, q, r, s and the operators ! (not), & (and), | (or), -> (implies), <-> or = (iff), ^ (xor). The calculator parses the formula, evaluates it on every truth assignment and reports whether it is a tautology, contradiction or contingency.
Worked examples
Frequently asked questions
What operators can I use?
! or ¬ for NOT, & or ∧ for AND, | or ∨ for OR, -> or → for IMPLIES, <-> or ↔ or = for IFF, and ^ or ⊕ for XOR. Spaces and parentheses are allowed.
How many variables are supported?
Up to four: p, q, r, s. With four variables the table has 16 rows.
What is the difference between a tautology, a contradiction and a contingency?
A tautology is true in every row, a contradiction is false in every row, and a contingency is sometimes true and sometimes false.