Wie kann ich eine KNF minimieren?

Erste Frage Aufrufe: 102     Aktiv: 25.03.2024 um 19:48

0

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?

Diese Frage melden
gefragt

Punkte: 10

 
Kommentar schreiben
1 Antwort
1
Ich hab keine Ahnung, was hier die minimale Anzahl ist, aber wenn ich das ganze in wolframalpha eingebe (stückweise, weil Ausdruck sonst zu lang), so erhalte ich:
CNF | ((NOT q) OR w OR z) AND (q OR w OR (NOT x)) AND (x OR (NOT z))
Das sind dann drei Klauseln?
Diese Antwort melden
geantwortet

Lehrer/Professor, Punkte: 39.16K

 

Kommentar schreiben