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