Mathlean · Online math workspace
Disjunctive normal form calculator
Rewrite a propositional formula as a disjunction of conjunctions.
How to use this calculator
Edit the formula inside ToDNF; the implication example becomes not p or q.
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
DNF may grow exponentially and need not be the shortest equivalent expression.
Mathlean combines visual mathematical input with computation and canvas tools. Results depend on the expression and available engine support; check important answers independently.