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
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.