Mathlean · Online math workspace

Boolean expression minimizer

Reduce a supported propositional expression to a minimal disjunctive normal form.

How to use this calculator

Edit MinimalDNF(formula); the starter reduces to p. Use MinimalCNF for conjunctive form.

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

MinimalDNF⁡((p∧q)∨(p∧¬q))\operatorname{MinimalDNF}\left((p\land q)\lor(p\land\lnot q)\right)

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

What to know

Minimal forms may not be unique and can become expensive for many variables.

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