Normal forms
Rewrite a formula into conjunctive or disjunctive normal form, one step at a time.
One formula, as in (P → Q) ∨ ¬P.
Target form
Conjunctive normal form: an AND of ORs
Enter a formula above to see the rewriting steps.
Rewrite a formula into conjunctive or disjunctive normal form, one step at a time.
One formula, as in (P → Q) ∨ ¬P.
Conjunctive normal form: an AND of ORs
Enter a formula above to see the rewriting steps.