Category:Conjunctive Normal Form

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

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

$(1): \quad$ disjunctions of literals

and/or:

$(2): \quad$ literals.