[Frage] A NAND B in KNF umformen?

[Jimmy]

wie forme ich die Formel A NAND(=der Pfeil nach oben) B in eine KNF um?
laut Tabelle ist ja
A NAND B = -A OR -B das ist aber keine KNF sondern eine DNF...

PS: der Ausdruck kommt beim DPLL Beispiel im November PO vor...

[edit]
wenn wer schon dabei ist, kann er mir ja auch sagen wie man
C OR -D umwandelt

[Neutrino]

-A OR -B ist bereits eine KNF (und auch eine DNF). als KNF gesehen besteht die formel aus einer disjunktion (="geodere", klausel), die wiederum zwei literale enthaelt. als DNF gesehen besteht die formel aus zwei konjunktionen, die aber jeweils nur ein literal enthalten (daher sieht man kein UND).

somit bilden sowohl -A OR -B als auch C OR -D jeweils eine klausel, in der mengenschreibweise {-A,-B} und {C,-D}.

nu