Gegeben ist folgender Ausdruck. (Formen sie die Formel in KNF um):
a ∶= ∃x(P(x) ∧ ∀y(P(y) ∧ Q(x, y) → ∃y∃z(Q(x, y) ∧ ¬Q(x, z) ∧ Q(y, z))))
Bräuchte den Ansatz zur Lösung der Aufgabe :)
Die NNF zu der Formel müsste zuerst gebildet werden und ich wüsste gerne wie diese ausschaut, damit ich weiter machen kann.
