Logic
Truth table builder
Enumerate every assignment of a proposition and classify it as a tautology, a contradiction, or a contingency.
Variables like p, q, r with ! && || -> <-> xor and parentheses. Words work too: not, and, or, iff. Up to 6 variables.
Try
Tautology4 of 4 rows true · 2 variables
| p | q | result |
|---|---|---|
| F | F | T |
| F | T | T |
| T | F | T |
| T | T | T |