PDA

View Full Version : 6.4

War10ck
14-11-2008, 20:22
so meine derzeitige lösung ist:

((A \wedge \neg B) \vee C) \vee D
Bianconeri
14-11-2008, 20:45
Das ist aber eine DNF. Für die KNF musst du noch Distributivgesetzte anwenden.
War10ck
14-11-2008, 20:50
oh, naok wenn ich zeit änder ichs....

danke

...hatte zeit :-)

(D \vee C \vee A) \wedge (D \vee C \vee \neg B) = \{\{D,C,A\}, \{D,C, \neg B\}\}
snax
15-11-2008, 12:47
Hab ich auch so
tweety_7
16-11-2008, 02:22
Ich hab mein Fehler gefunden... :) und jetzt habe ich gleich...
krissi
17-11-2008, 20:24
könnte zufällig jemand seine ganze Lösung posten? also die einzelnen Schritte?
blackandcold
17-11-2008, 20:31
A \supset B => \neg A \vee B
und dann einfach Klammern wegmachen ;D
(1) \neg \neg ((A \supset B) \supset C) \vee D
usw.
krissi
18-11-2008, 16:30
müssen wir auf beiden wegen machen? also mit der syntaktischen + semantischen methode oder reicht eine?
Ferus
18-11-2008, 16:56
sollte eine Methode reichen.
Fresh Prince
18-11-2008, 22:41
Ich habe ebnfalls: ((A & -B) oder C) oder D rausbekommen, jetzt muss man nur noch das Distributivgesetzt anwenden.
Fresh Prince
19-11-2008, 10:37
oh, naok wenn ich zeit änder ichs....

danke

...hatte zeit :-)

(D \vee C \vee A) \wedge (D \vee C \vee \neg B) = \{\{D,C,A\}, \{D,C, \neg B\}\}

Bin mit deiner KNF nicht einverstanden wie kommst du
von A oder (B & C) auf diese Lösung?
snax
19-11-2008, 10:53
Nachdem die Operatoren ersetzt und die Negationen nach vorne gezogen wurden kommt man wie du richtig sagst auf:
((A ^ -B) v C) v D

Jetzt zum letzten Schritt: Ausdistributieren:
Zuerst den inneren Teil:
((C v A) ^ (C v -B)) v D
Dann alles:
(C v A v D) ^ (C v -B v D)

Anleitung: Skriptum S. 113

Lg snax
Fresh Prince
19-11-2008, 11:04
Nachdem die Operatoren ersetzt und die Negationen nach vorne gezogen wurden kommt man wie du richtig sagst auf:
((A ^ -B) v C) v D

Jetzt zum letzten Schritt: Ausdistributieren:
Zuerst den inneren Teil:
((C v A) ^ (C v -B)) v D
Dann alles:
(C v A v D) ^ (C v -B v D)

Anleitung: Skriptum S. 113

Lg snax

Danke dir, brauch die Anleitung eh nicht mehr!! besser kann man es eh nicht erklären ;)
Hab auch dieselbe Lösung rausbekommen, ich hab zuerst versucht das Distributivgesetzt am Ende auf einmal anzuwenden, was natürlich nicht geht.

Lg, Fresh