---

Geschrieben von Steppi am 24.11.2010 um 23:39:

  Hornformeln

Meine Frage:
Hey Leuts^^

Ich sitze aktuell an einer Logikaufgabe die ich einfach nicht hinbekomme.

"Geben sie eine Formel F mit mindestens drei atomaren Formeln an, zu der es keine äquivalente Hornformel gibt. Begründen Sie!"

Im Seminar haben wir dazu ncihts gemacht und per Google finde ich keine hilfreichen Beispiele...



Meine Ideen:

Ich bitte um Hilfe^^

---

Geschrieben von ed209 am 25.11.2010 um 11:28:

 

Hi

Ein erster Schritt wäre es die Definition für Formel, atomar und Hornformel aufzuschreiben. Wie müßte also die Formel aufgebaut sein, wenn es keine Hornformel dazu geben soll?

Gruß,
ED

---

Geschrieben von servus am 02.12.2010 um 11:25:

 

Ich helfe dir mal auf die Sprünge: Eine Formel wird genau dann, als Hornformerl bezeichnet, wenn sie in KNF vorliegt und in jedem Disjunktionsglied höchstens ein positives Literal vorkommt. Das sollte genügen!