Truth Table Checker

Sentential Logic

Truth tables are wide. This checker works on small screens, but a laptop or tablet will be much easier.

Build a Table

Shortcuts: -> for ⊃, & for ·, v for ∨, <-> for ≡, and ~ for negation.

Choose a mode, enter formulas, then build a table.