CNF | ((NOT q) OR w OR z) AND (q OR w OR (NOT x)) AND (x OR (NOT z))
Das sind dann drei Klauseln?
Lehrer/Professor, Punkte: 38.93K
Wenn ich folgendes KNF Form habe (abgeleitet von einem KV-Diagramm):
Kann ich diese dann noch weiter minimieren, also die minimale Anzahl an Klauseln herleiten?