Logic Lab

Automated truth table generation for propositional logic expressions.

Boolean Expression

Use uppercase letters (A, B, C...) for variables.
Supported operators: && (AND), || (OR), ! (NOT), ^ (XOR), => (Implication), <=> (Equivalence).
Use parentheses to group operations.

Generated Truth Table

Enter an expression and click generate.