Resolutionsmethode < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 07:36 Di 27.11.2012 | | Autor: | starki |
| Aufgabe | Verwenden Sie die Resolutionsmethode, um die folgenden Formeln auf Erfüllbarkeit hin zu untersuchen:
c) (A -> B [mm] \lor [/mm] C) [mm] \land (\neg(A \land [/mm] B) -> [mm] \neg [/mm] C) [mm] \land [/mm] B [mm] \land [/mm] (A [mm] \lor [/mm] B) |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Aus dieser Formel habe ich zuerst eine KNF erstellt:
[mm] (\neg [/mm] A [mm] \lor [/mm] B [mm] \lor [/mm] C) [mm] \land [/mm] (A [mm] \lor \neg [/mm] C) [mm] \land [/mm] (B [mm] \lor \neg [/mm] C) [mm] \land [/mm] B [mm] \land [/mm] (A [mm] \lor [/mm] B)
Und die Resolutionsmethode angewendet:
{A, C} und {B, [mm] \neg [/mm] C} => {A, B} ( C entfällt )
[mm] {\neg A, B, C} [/mm] und {A, B} => {B, C} (A entfällt)
{B, C} und {B} = {B, C}
{B, C} und {A, B} = {A, B, C}
Bei mir kommt also {A, B, C} raus. Stimmt das Ergebnis? Wenn nein, warum nicht?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 08:20 Do 29.11.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
