Axiomatic WikiTToolsTruth table
Enter one or more propositional-logic statements and compare them in a single truth table, sharing a column for every variable. Matching columns are flagged as equivalent. It runs entirely in your browser.
1
2
notandor-><=>1 ≡ 2equivalent
| P | Q | 1¬(P ∧ Q)3/4 true | 2¬P ∨ ¬Q3/4 true |
|---|---|---|---|
| T | T | F | F |
| T | F | T | T |
| F | T | T | T |
| F | F | T | T |