Resolventenmethode < Sonstiges < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 20:19 Mi 01.09.2004 | | Autor: | thongsong |
Hallo!
Ich habe hier folgende Aufgabe:
Ein Klauselmenge M sei gegeben: [mm] $((A,B,\bar C),(\bar A),(A,B,C),(A,\bar [/mm] B))$
Diese Formel soll auf ihre Erfüllbarkeit überprüft werden. Ich bin folgendermaßen vorgegangen:
$R(M)=M [mm] \cup ((B,\bar C),(A,B),(A,\bar C),(B,C),(\bar [/mm] B))$
$R(R(M))=R(M) [mm] \cup ((A,B),(A,\bar C),(B),(A),(\bar C),(A,B),(A,B),(A,C),(B),(\bar [/mm] C),(C))$
[mm] $R(R^2(M))=R^2(M) \cup ((A),(\emptyset))$
[/mm]
Da ich in der Resolventenmegen [mm] $R^3(M)$ [/mm] die leere Klausel [mm] $(\emptyset)$ [/mm] erhalte, da $R=B [mm] \cup \bar [/mm] B [mm] =>\emptyset$ [/mm] (hoffe, dass ich das richtig verstanden habe)
Damit eine Klauselmenge erfüllt ist, muss jede Klausel den Wahrheitswert $w$ haben, und da die leere Klausel den Wahrheitswert $f$ hat, kann diese Bedingung nicht erfüllt werden.
Nun meine Fragen:
1. Kann ich zwei Klauseln [mm] $(A,B,\bar [/mm] C),(C)$ vereinen (wegen der Variablen $C$)? Ich frage deshalb, da ich bis jetzt immer nur Resolventen von von zwei Klauseln gebildet habe, die mindestens 2 Variablen hatten.
2. Stimmt der obige Lösungsweg?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:44 Fr 03.09.2004 | | Autor: | Stefan |
Hallo thongsong!
Ich fürchte mit solchen Dingen (die ich mathematisch noch nicht einmal genau einordnen kann) kennt sich hier keiner aus.
Vielleicht versuchst du es einmal beim ![[]](/images/popup.gif) Matheplaneten. (Wenn du das machst, wäre ich über einen kurzen Hinweis hier dankbar.)
Da die Fälligkeit abgelaufen ist, gehe ich davon aus, dass du an einer Antwort nicht mehr interessiert bist. Oder soll ich die Fälligkeit auf "unbegrenzt" verlängern? Ich stelle sie jetzt erst einmal auf "nicht mehr relevant", bin aber bereit, das wieder rückgängig zu machen, wenn du ein Zeichen gibst.
Liebe Grüße
Stefan
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 12:38 Fr 03.09.2004 | | Autor: | thongsong |
Hallo Stefan!
Stelle die Frage erst einmal auf nicht relevant. Ich werde versuchen die Antowort in einem anderen Forum zu bekommen und dann hier posten. Danke!
|
|
|
|
