KGKherian Gracher
PTEN
Menu
← Logic Lab

Classical propositional logic

Truth Tables

Explore every valuation of a formula and follow how each part determines the result.

Connectives: ¬ ∧ ∨ → ↔. Also accepted: ~ & | -> <->. Use parentheses to make grouping explicit.

How do I read the table, and what are the limits?

Variables appear in alphabetical order. Valuations start with all variables true and end with all false. The last column shows the value of the complete formula.

Up to 10 variables, 1,024 rows and 64 columns. Larger tables are blocked to protect the browser. This version does not include constants ⊥ and ⊤ or formulas from other logics.

One formula, every possibility.

Enter a formula and generate the table to explore its values.

Local computation, no account required. Formulas and results are neither transmitted nor stored. Work is discarded when you leave or reload.