Truth Table Generator for Arbitary Boolean Expressions

Comments are closed

Lines beginning with '//' are comments and are for reference. They are ignored by the truth table solver.
Form populated with sample data.




T, F (True or False)
1,0 (Corresponding to True and False




Usage Direction
  • Use any alpahbet [A-Z or a-z] as variable.
  • Variables are case sensitive. 'X' is different from 'x'

Use the following symbols:

AND *
OR +
NOT -
NOR #
NAND $
XOR ^
IMPLIES => or <=
BICONDITIONAL(iff) <=>

You can assign complex statement to a variable with “:” operator. For example:
t:x*(x+y)
q:y+(x*y)
and you can even perform operations on each of the new variables that you created. For example:
t*q

operator priority associativity
brackets
(), {},[]
1 left
not 2 right
and 3 left
xor 4 left
or 5 left
conditional 6 right
biconditional 7 right