0 Daumen
160 Aufrufe

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

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community