KNF von Formel < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo, ich sollte als Aufgabe die KNF folgender Formel finden, weiß aber nicht ob sie stimmt, wäre nett wenn mir jemand sagen könnte was vl falsch ist.
Ausgangsformel:
[mm] (\neg [/mm] E [mm] \to [/mm] H) [mm] \wedge ((\neg [/mm] H [mm] \vee \neg [/mm] B) [mm] \to [/mm] (K [mm] \wedge [/mm] E)) [mm] \wedge ((\neg [/mm] K [mm] \wedge \neg [/mm] H) [mm] \to [/mm] (B [mm] \wedge [/mm] E))
Mein Ergebnis:
(H [mm] \vee [/mm] K) [mm] \wedge [/mm] (H [mm] \vee [/mm] E) [mm] \wedge [/mm] (B [mm] \vee [/mm] K) [mm] \wedge [/mm] (B [mm] \vee [/mm] E) [mm] \wedge [/mm] (H [mm] \vee [/mm] K [mm] \vee [/mm] B) [mm] \wedge [/mm] (H [mm] \vee [/mm] K [mm] \vee [/mm] E)
Weiters wollte ich fragen ob es hier eine Möglichkeit gibt die Lösungmit dem Resolutionskalkül zu berechnen.
lg tom
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 21:20 Do 26.06.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
