Existence of Conjunctive Normal Form of Statement

Theorem
Any statement form can be expressed in conjunctive normal form (CNF).

Proof
A simple statement is already trivially in conjunctive normal form (CNF).

So we consider the general compound statement $$S$$.

First we convert to negation normal form (NNF).

This is always possible, by Negation Normal Form of Any Statement.

Now $$S$$ will be of the form:
 * $$P_1 \land P_2 \land \cdots \land P_n$$

where $$P_1, P_2, \ldots, P_n$$ are either:
 * Literals;
 * Statements of the form $$\left({Q_1 \lor Q_2 \lor \ldots \lor Q_n}\right)$$

If all the $$Q_1, \ldots, Q_n$$ are literals we have finished.

Otherwise they will be of the form $$Q_j = \left({R_1 \land R_2 \land \ldots \land R_m}\right)$$

If the latter is the case, then use the Rule of Distribution to convert:
 * $$Q_1 \lor Q_2 \lor \ldots \lor \left({R_1 \land R_2 \land \ldots \land R_m}\right) \ldots \lor Q_n$$

into:

$$ $$ $$ $$

It can be seen then that each of the
 * $$\left({Q_1 \lor Q_2 \lor \ldots \lor Q_n \lor R_k}\right)$$

are terms in the CNF expression required.

If any terms are still not in the correct format, then use the above operation until they are.