Truth Table Generator
Parse bounded propositional logic and generate a deterministic truth table and classification.
Input
Result
Initializing.
Method
Operators: NOT (! ~), AND (&& &), XOR (^), OR (|| |), implication (-> →), IFF (<-> ↔). Precedence is NOT, AND, XOR, OR, implication, IFF; implication is right-associative. Up to six uppercase-normalized variables; alphabetical order, TRUE-first rows.
Limits
Integer-only arithmetic is exact within documented bounds. Logic expressions are limited to 300 characters, 150 tokens, depth 20, six variables, and 64 truth-table rows.