Hornformeln |
Steppi
Grünschnabel
Dabei seit: 24.11.2010
Beiträge: 1
|
|
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^^
|
|
24.11.2010 23:39 |
|
|
servus unregistriert
|
|
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!
|
|
02.12.2010 11:25 |
|
|
|