Disjunktive Normalform

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