Discrete Algebraic Structures

Truth Table Generator

Logic Truth Table Generator
Enter a propositional logic formula to parse it, evaluate it, and generate its truth table step-by-step.

Type using logic symbols or common keyboard characters: ! for NOT, & for AND, | for OR, -> for IMPLIES, and <-> for IFF.