Aufgabe: Resolutionskalkül
Problem/Ansatz:
Zeigen Sie mithilfe des Resolutionskalküls, dass phi= (b'c'd)+(b'd')+(cd)+b gültig ist.
Nun muss man, um das Resolutionskalkül anwenden zu können, zunächst die DNF in eine KNF umwandeln (soweit ich das verstanden habe).
Hierzu stellt man eine Wertetabelle mit 16 Zuständen auf.
Leider bekomme ich bei meiner Lösung dann lediglich D heraus. Einen Fehler konnte ich leider nicht entdecken.
Die Formel wäre demnach unerfüllbar.
Über Hilfe wäre ich äußerst dankbar
