DNF in KNF und negieren < Technische Inform. < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 17:05 Mi 24.09.2008 | | Autor: | issc |
Hallo,
ich muss eine DNF in eine KNF umwandeln und danach wieder negieren. Also
DNF: [mm] f(x_{1},x_{2},x_{3}) [/mm] = [mm] x_{1}x_{2} \vee \neg x_{2}x_{3} \vee \neg x_{1}x_{3}
[/mm]
KNF fuer [mm] g(x_{1},x_{2},x_{3}) [/mm] = [mm] \neg (f(x_{1},x_{2},x_{3}))
[/mm]
Wenn ich dies aber tue, so bekomme ich doch wieder eine DNF ausser ich lasse das negationszeichen vor der jeweiligen Klammer.
Wie gehe ich also vor?
Dankeschoen!!
PS: Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt
|
|
| |
|
Hallo issc!
> ich muss eine DNF in eine KNF umwandeln und danach wieder
> negieren. Also
Wie heißt denn die exakte Aufgabenstellung?
> DNF: [mm]f(x_{1},x_{2},x_{3})[/mm] = [mm]x_{1}x_{2} \vee \neg x_{2}x_{3} \vee \neg x_{1}x_{3}[/mm]
>
> KNF fuer [mm]g(x_{1},x_{2},x_{3})[/mm] = [mm]\neg (f(x_{1},x_{2},x_{3}))[/mm]
Diese Aufgabe würde ich aber interpretieren als: Negiere erst die Formel f und wandele sie dann in eine KNF um!?
> Wenn ich dies aber tue, so bekomme ich doch wieder eine DNF
> ausser ich lasse das negationszeichen vor der jeweiligen
> Klammer.
Was heißt "du lässt das Negationszeichen vor der Klammer"???
> Wie gehe ich also vor?
Also ich erhalte nach dem Negieren immer noch eine KNF. Vielleicht kannst du mal posten, was du gemacht hast.
Viele Grüße
Bastiane
![[cap]](/images/smileys/cap.gif "[cap]")
|
|
|
|
