Umwandlung von DNF in KNF |
08.01.2015, 20:45 | Auf diesen Beitrag antworten » |
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? |
|
|
08.01.2015, 21:06 | Auf diesen Beitrag antworten » |
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. |
09.01.2015, 15:54 | Auf diesen Beitrag antworten » |
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? |
|