Generate Truth Table
How It Works
Enter a boolean expression. The generator shows all variable combinations and outputs.
Supported Operators
and
or
not
xor
nand
implies
eq
Example Expressions
Click any example to try it:
AND Gate
a and b
OR Gate
a or b
NOT Gate
not a
XOR Gate
a xor b
XNOR (Equivalence)
(a and b) or (not a and not b)
Implication
a implies b
See also
- Logic Engine — derive conclusions from premises using inference rules