Boolean logic · truth table

🔣 Truth Table

Type a boolean expression → full truth table

Boolean expression

Sub-steps

Operators — NOT: ! ~ ¬ · AND: & ∧ * · OR: | ∨ + · XOR: ^ ⊕ · IMPLIES: -> → · IFF: <-> ↔ · variables: single letters · constants: 0 1

Every combination of the variables is evaluated. Toggle the values above to jump to a row. “Sub-steps” adds a column for each inner sub-expression. Up to 10 variables.