Wir haben vor kurzem im Studium angefangen mit dem Thema Logik.
Bisher habe ich alles verstanden bis auf letzten Freitag bei der online Vorlesungen.
Nun haben wir Aufgaben bekommen die wir machen sollen.
Bloß komme ich bei der Zusatzaufgabe nicht weiter.
Wurde diese aber gerne machen da sie extra Punkte gibt.
Könnte mir da jemand helfen ?
Nutzen Sie die Resolutionsmethode um zu beweisen, dass die Menge K1 aussagen- logischer Klauseln nicht erflülbar ist.
Ist K2 = {{¬X, ¬Z}, {X, Y }, {¬Y }, {¬Y, Z, X}} erfüllbar?
