The conjunctive normal form is a way of expressing formulae in propositional logic that only uses the negation and disjunction operators (NOT and OR). Once the formulae have been converted to this form, they are then strung together in a series of conjunctions, (AND statements) creating one long expression.

The procedure for converting standardly expressed propositional formulae into conjunctive normal form has three steps:

Remove all instances of the implication operator using this truth-functional equivilent form:
(P→Q) to (¬PvQ)

Reduce the scope of the negation symbols by using DeMorgan's Rules:
¬(P&Q) to ¬Pv¬Q
¬(PvQ) to ¬P&¬Q