Konjunktive Normalform

Eine Formel $\phi \in AL$ ist in konjunktiver Normalform (KNF), wenn sie eine Konjunktion von Disjunktionen von Literalen ist.
Gestalt: $$\bigwedge_{i=1}^{n} \left( \bigvee_{j=1}^{n_i} L_{i,j} \right)$$
$L_{i,j}:$ Literal