Interactive Reasoning Playground
Build logical expressions and see their truth tables. Variables: A-Z | Operators: ¬ (not) ∧ (and) ∨ (or) → (implies) ↔ (iff)