Hallo zusammen,
auf Übungsblatt 2, Aufgabe 1 c):
Beweisen oder widerlegen Sie für jede der folgenden Formeln, ob sie äquivalent zu einer Horn-Formel ist.
i)
Unsere Lösung war:
Es folgt: nicht logisch äquivalent zu einer Horn-Formel, da zwei positive Literale in einer Disjunktion.
Bei der Korrektur steht jetzt "Begründung nicht ausreichend". Weiss einer, wie man zufriedenstellend zeigen kann, dass es sich um keine Horn-Formel handelt?
Grüße mani