Truth Table Generator
Type a logic expression in any notation you have met and get its full truth table. Each operation can have its own column, so you can follow the working, and the result tells you whether the expression is a tautology, a contradiction or neither.
What you can do
- Reads words, logic symbols and electronics notation, including implied AND
- AND, OR, NOT, XOR, NAND, NOR, XNOR, implies and if and only if
- Up to 8 variables, with a column for each step
- Tautology, contradiction and contingent shown
- Minterms, maxterms and canonical forms