Erfüllbarkeitsäquivalenz < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 20:52 Fr 16.01.2015 | | Autor: | sigmar |
| Aufgabe | Überführe folgende Formel in eine erfüllbarkeitsäquivalente Formel in CNF:
F = [mm] [\neg (\overline{A_1}\vee A_2)] \to [\overline{A_2} \gdw (A_1 \wedge A_3)] [/mm] |
Ich habe zwar die Lösung dazu, aber ich verstehe nicht was hier passiert: http://abload.de/img/logikmyjge.jpg
Ich glaube mir ist klar welche Junktoren eine neue Variable (also die [mm] B_i) [/mm] erhalten, aber nicht nach welchem System. Warum wird z. B. [mm] \to [/mm] zu [mm] B_1 [/mm] und nicht [mm] \neg [/mm] ? Anschließend ist mir auch nicht klar, wie wir unser F' zusammenbauen. Im Skript steht leider nur "wir machen uns das Prinzip an einem Beispiel klar" und das hier ist dann das Beispiel, ohne dass das Prinzp jemals erklärt wird. :/
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Sa 31.01.2015 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
