Category:Examples of Conjunctive Normal Form

This category contains examples of 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.