\begin{definition}[Definition:Conjunctive Normal Form]
A propositional formula $P$ is in '''conjunctive normal form''' {{iff}} it consists of a conjunction of:
:$(1):\quad$ disjunctions of literals
and/or:
:$(2):\quad$ literals.
\end{definition}