(Twitter)
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?
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
Link
geantwortet
mikn
Lehrer/Professor, Punkte: 38.93K
Lehrer/Professor, Punkte: 38.93K