Satisfiability checker

How to use this calculator

Edit IsSatisfiable(p and not p). The contradictory starter returns false.

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

A Boolean answer does not list every satisfying assignment or prove arbitrary first-order statements.

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