Category:Disjunctive Normal Form

This category contains results about Disjunctive Normal Form.
Definitions specific to this category can be found in Definitions/Disjunctive Normal Form.

A propositional formula $P$ is in disjunctive normal form if and only if it consists of a disjunction of:

$(1): \quad$ conjunctions of literals

and/or:

$(2): \quad$ literals.