← Reasoning Lab
Formal Logic · Free
Truth Table Builder
Enter any propositional formula and get a full truth table. The parser handles all five connectives (¬ ∧ ∨ → ↔) in standard or ASCII syntax, evaluates every row, and labels the formula as a tautology, contradiction, or contingent statement.
Used in: Propositional Logic and Modal Logic lessons. Separate multiple formulas with commas to compare them side by side — a useful drill for checking logical equivalence.
Truth-Table Builder
Enter a propositional formula using variables (P, Q, R...) and connectives. Separate multiple formulas with commas to compare them.
~ or ¬& or ∧| or ∨-> or →<-> or ↔
| P | Q | P → Q |
|---|---|---|
| F | F | T |
| F | T | T |
| T | F | F |
| T | T | T |
Contingent2 variables · 4 rows · 3 true