Truth Table Generator
Generate full truth tables for classical two-valued propositional logic formulas, with deterministic row ordering and visible intermediate columns.
Accepted syntax
NOT: `¬`, `~`, `!`, `not`
AND: `∧`, `&`, `&&`, `and`
OR: `∨`, `v`, `||`, `or`
XOR: `⊕`, `xor`, `^`
IMPLIES: `→`, `->`, `=>`
IFF: `↔`, `<->`, `<=>`
Precedence is parentheses > NOT > AND > OR/XOR > IMPLIES > IFF. Chained implications associate right to left, so `p -> q -> r` means `p -> (q -> r)`. OR is inclusive OR. When you mix OR and XOR, or combine several binary operators, use parentheses to make grouping explicit.
Enter one propositional formula to generate the full table. The tool uses classical two-valued propositional logic and computes every row in the browser.