Markierungsalgorithmus < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Wenden sie die Markierungsalgorithmus an um zu bestimmen, ob die Formel erfüllbar ist oder nicht:
[mm] ((A\wedge B)->\neg D)\wedge \neg [/mm] E [mm] \wedge (\neg [/mm] C [mm] \vee A)\wedge C\wedge [/mm] B [mm] \wedge [/mm] (G->D) [mm] \wedge [/mm] G |
Halli Hallo,
also in der Uni haben wir den Markierungsalgeorithmus wirklich mit Markierungen gemacht, ich finde den aber sehr unübersichtlich und habe im I-Net ne ähnliche Methode gefunden, welche ich bei der Aufgabe mal angewendet habe:
Umstellen:
[mm] (A\vee B\vee D->0)\wedge [/mm] (E->0) [mm] \wedge (C->A)\wedge [/mm] (1->C) [mm] \wedge [/mm] (1->B) [mm] \wedge [/mm] (G->D) [mm] \wedge [/mm] (1->G)
1. Markierung von G, weil 1->G
2. Markierung von C, weil 1->C
3. Markierung von B, weil 1->B
4. Markierung von A, weil C->A
5. Markierung von D, weil G->D
6. Stopp: [mm] (A\vee B\vee [/mm] D->0) und somit unerfüllbar.
Kann mans so machen?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:20 Do 03.05.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
