Formeln äquivalent zu Konjunktion von Hornklauseln

Neue Frage »

Auf diesen Beitrag antworten »
Naryxus Formeln äquivalent zu Konjunktion von Hornklauseln

Hallo,

wir sollen bei folgenden Formeln überprüfen, ob es eine äquivalente Form in Konjunktionenen von Hornklauseln gibt.

1.

(p -> (q | r)) & (p | s)

Dazu habe ich die folgende KNF:

(p | q | r | s) & (p | q | !r | s) & (p | !q | r | s) & (p | !q | !r | s) & (!p | q | r | s) & (!p | q | r | !s)

Diese lässt sich meines Erachtens nicht mehr weiter umformen, sodass daraus Hornklauseln entstehen.


2.

(p & q) <-> r

Mit der folgenden KNF:

(p | q | !r) & (p | !q | !r) & (!p | q | !r) & (!p | !q | r)

Das habe ich weiter umgeformt bis ich letztendlich auf folgende Form gekommen bin:

(p | !r) & (!p | q | !r) & (!p | !q | r)

Das heißt ich habe nun eine Hornklauselmenge. Aber trotzdem lässt sich hier nicht der Algorithmus zur Berechnung der minimalen Belegung anwenden, da ich kein alleinstehendes Literal habe.


Kann mir jemand sagen, ob meine Gedankengänge richtig sind?

Grüße, Naryxus
 
 
Neue Frage »
Antworten »


Verwandte Themen

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