Konjunktive Normalform

Einfache Sprache

Eine Formel ist in Konjunktiver Normalform, wenn es sie aus einer Konjunktion von Disjunktionsterm besteht.

Def. Konjunktive Normalform

Eine Formel in Konjunktiver Normalform hat die Form

$$\bigwedge_i\bigvee_j(\neg)x_{ij}$$