aus DNF zur KNF < Technische Inform. < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
Ich habe DNF berechnet, jetzt brauche ich auch KNF
Verstehe ich richtig? Man kann aus DNF KNF leicht wie folgt bekommen:
KNF= [mm] \overline{DNF}
[/mm]
Das heisst:
DNF=xyz+ [mm] \overline{x}z \overline{z} \Rightarrow KNF=\overline{DNF}=\overline{xyz+ \overline{x}z \overline{z}}
[/mm]
?????????????????????????????????????????
|
|
| |
|
Hallo erstmal!
> Ich habe DNF berechnet, jetzt brauche ich auch KNF
> Verstehe ich richtig? Man kann aus DNF KNF leicht wie
> folgt bekommen:
> KNF= [mm]\overline{DNF}
[/mm]
Ist schon ne Weile her, als ich mich damit intensiv beschäftigt habe, aber ich glaube, so was ähnliches gab es da mal.
Ich glaube allerdings, das, was du sagst, stimmt nicht so ganz, ich meine, man müsste dann noch alle Einträge negieren. Wenn du dir nämlich mal ein ganz simples Beispiel nimmst:
A [mm] \vee [/mm] B = [mm] \neg(\neg [/mm] A [mm] \wedge \neg [/mm] B) (wenn ich mich nicht irre...)
Und wenn du darauf deine Formel angewendet hättest, wäre da ja rausgekommen:
[mm] \neg(A \vee [/mm] B) = [mm] \neg [/mm] A [mm] \wedge \neg [/mm] B [mm] \not= \neg(\neg [/mm] A [mm] \wedge \neg [/mm] B)
Falls du dir immer noch nicht sicher bist, wie es nun richtig ist, kannst du auch eine Wahrheitstabelle zeichnen...
> Das heisst:
> DNF=xyz+ [mm]\overline{x}z \overline{z} \Rightarrow KNF=\overline{DNF}=\overline{xyz+ \overline{x}z \overline{z}}
[/mm]
Kann das sein, dass du hier noch gar nicht ganz fertig bist? Denn was ist denn [mm] \neg [/mm] x [mm] \wedge [/mm] z [mm] \wedge \neg [/mm] z?
Das ist doch gleich 0, oder?!
Dann wäre der ganze Term schon etwas einfacher und ich würde meinen, dass ist das schon fast DNF und KNF...
Viele Grüße
Bastiane
![[banane]](/images/smileys/banane.gif "[banane]")
|
|
|
|
