Die letzten 3 Beiträge |
Fragesteller |
Danke, habe jetzt folgende Aussagen zusammen:
1. A v B v C
2. ¬ A v B v C
3. B v ¬ C
4. ¬ B v ¬ C
5. C v ¬ B
Ich muss sie nun mittels Resolution lösen. Wie gehe ich nun am besten vor? Ich weiß, dass ich eine Behauptung aufstellen und diese negieren muss.
Also habe ich
6. ¬ B
......
(1 + 2) 7 : B v C
(7+4) 8: Wiederspruch .... Also sind B und C die Täter?
Hab das mit der Resolution noch nicht so verstanden. Oder ist das richtig? |
eulerscheZahl |
Damit hast du eigentlich schon eine konjunktive Normalform. Wenn du aber eine kanonische haben willst:
Das einfachste ist, sich eine Wahrheitstabelle zu machen und daraus dann die einzelnen teile abzulesen, wo die Funktion 1 wird und mit einem ODER zu verknüpfen.
algebraische Umformungen sind zwar prinzipiell möglich, aber unnötig kompliziert. |
Fragesteller |
Umwandlung von DNF in KNF
Meine Frage:
Hallo,
ich möchte Wissen wie man A ^ (B v C ) in die KNF bringt.
Meine Ideen:
Habe nun folgendes gemacht : ( A ^ B) v (A ^ C)
Wie geht es nun weiter? Was sind denn die Regeln? |
|
|