DNF kann man in KNF ueberfuehren

KNF in DNF - exponenziell schwierig

Aber wenn man DNF negiert, muss man einfach alles umdrehen

negieren →

Negation → Direkte Konversion zwischen KNF und DNF