Aussagenlogische Gleichung in KNF bringen

Neue Frage »

NurEineFrage Auf diesen Beitrag antworten »
Aussagenlogische Gleichung in KNF bringen
Meine Frage:
Hallo,
ich habe folgende Aufgabe, bei der ich mir nicht sicher bin, ob ich so vorgehen kann:
Die Allgemeingültigkeit der aussagenlogische Gleichung

soll mit Hilfe des Resolutionskalküls nachgewiesen werden.


Meine Ideen:
Ich bin wie folgt vorgegangen:
1. negieren

2. in die KNF bringen:

3. Klauseldarstellung:


Allerdings bin ich mir nicht sicher ob das überhaupt schon die KNF ist, und wenn, ob ich das in der Klauselschreibweise so schreiben könnte.
Deswegen bin ich dann nochmal einen Schritt weiter gegangen und hab für die KNF folgendes rausbekommen:



und für die Klauseldarstellung:



Ist eine der Möglichkeiten richtig?
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »