Truth Table Generator

Type a propositional-logic expression over variables A .. Z and read off the complete truth table: every combination of variable assignments, the result of the expression, and a verdict (tautology, contradiction, or contingent). Pure math in your browser — nothing is uploaded.

Expression

Operator reference (click to expand)

Operator	Unicode	ASCII fallback	Meaning
NOT	`¬`	`~ !`	Negation (binds tightest)
AND	`∧`	`& ^`	Conjunction
OR	`∨`	`\|`	Disjunction
XOR	`⊕`	(use `¬` + `∧`)	Exclusive or (true iff exactly one operand is true)
IMPLIES	`→`	`->`	Material implication (right-associative)
BICONDITIONAL	`↔`	`<->`	Logical equivalence (binds loosest)
Constants	`⊤ ⊥`	`1 0`	True / False

Precedence (highest → lowest): ¬ > ∧ > ⊕ > ∨ > → > ↔. Use parentheses to override. Implies is right-associative (A → B → C means A → (B → C)); every other binary operator is left-associative.

Verdict

—

Variables

—

Rows

—

True / False

—

Table

Enter an expression above to see the truth table.