Truth Table Generator
Enter a logic expression with AND, OR, NOT, XOR, IMPLIES, and IFF, and get the complete truth table — plus whether it is a tautology, contradiction, or contingency.
Operators: ~ not & and | or ^ xor -> implies <-> iff
Results
Classification
—
—