Markierungsalg. für Hornformel < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Wenden Sie den Markierungsalgorithmus für HORN-Formeln auf die nachfolgende Formel an. Falls das Ergebnis "erfüllbar" berechnet, geben Sie dasjenige Modell an, das der Algorithmus liefert.
(A [mm] \vee \neg [/mm] B) [mm] \wedge [/mm] (A [mm] \vee \neg [/mm] C [mm] \vee \neg [/mm] B) [mm] \wedge (\neg [/mm] A [mm] \vee \neg [/mm] B) [mm] \wedge [/mm] D [mm] \wedge \neg [/mm] E |
Hallo!
Ich habe die gegebene Formel nun umgeformt, damit ich den MArkierungsalgorithmus anwenden kann:
(B [mm] \to [/mm] A) [mm] \wedge [/mm] (c [mm] \wedge [/mm] D [mm] \to [/mm] A) [mm] \wedge [/mm] (A [mm] \wedge [/mm] B [mm] \to [/mm] 0) [mm] \wedge [/mm] (1 [mm] \to [/mm] D) [mm] \wedge [/mm] (E [mm] \to [/mm] 0)
D=1
E=0
Und nun? Ich weiß nich, wie ich die anderen Werte herausfinde. :(
Kann mir vielleicht jemand helfen?
Wäre echt super!
Danke schonmal!
Lg, Raingirl87
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 23:20 Mi 21.02.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
