Mathlean · Online math workspace

Truth table calculator

Enumerate truth assignments and results for a small propositional formula.

How to use this calculator

Edit the expression inside TruthTable. The header identifies variables and the final result column.

Tap the math below to edit it and see the result. Once a result is ready, press Tab on a hardware keyboard to accept it. Outside a matrix, Return completes the line; the phone math keyboard has the same Return action.

Try it here

TruthTable⁡(p∧q)\operatorname{TruthTable}\left(p\land q\right)

Interactive tools require JavaScript. You can read the guide and example without it.

What to know

The number of rows doubles with each variable. This is propositional logic, not quantified theorem proving.

Mathlean combines visual mathematical input with computation and canvas tools. Results depend on the expression and available engine support; check important answers independently.

Browse all calculators and editors