Erfüllbarkeit/Folgerung < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | t = [mm] x_1 \wedge x_2 \wedge x_3
[/mm]
Zeigen Sie , dass t eine Folgerung aus [mm] t_4 [/mm] = { { [mm] \neg x_1 [/mm] , [mm] x_2 [/mm] } , { [mm] \neg x_2 [/mm] , [mm] x_3 [/mm] } , { [mm] x_1 [/mm] , [mm] \neg x_3 [/mm] } , { [mm] x_1 ,x_2, x_3 [/mm] } } |
Hallo,
ich soll diese Aufgabe mittels Resolutionsmethode lösen.
Ein Term t ist erfüllbar [mm] \gdw \neg [/mm] t Kontradiktion.
Ich weiß aber jetzt nicht , ob ich t4 negieren soll. Ich hatte es so verstanden , dass wenn ein Term t NICHT in KNF vorliegt , ich alles negieren soll , sodass aus der DNF eine KNF wird und ich dann die Resolutionsmethode anwende.
Könnte mich einer bitte aufklären ?
Vielen Dank im Voraus.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Fr 07.02.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
