Hi,
Wie findet man heraus, ob es zu einer Formel eine äquivalente Hornformel gibt?
Das Beispiel im Script wirft einem eine Wahrheitstabelle an den Kopf und schreibt drunter, dass es für (a oder b) nicht möglich sei. Der Schöning läßt das Thema auch links liegen.
Kann mir da jemand auf die Sprünge helfen?
Vielen Dank.
Was war denn gleich eine Hornklausel?
zum glück brauche ich soetwas nicht meht. [img]
http://www.fb18.de/gfx/15.gif[/img]
aber viel glück bei der klausur!
Was war denn gleich eine Hornklausel?
Ne KNF, wo in jedem… "Abschnitt"(?) nicht mehr als ein positives Literal sein darf. Z.B:
(A v -B v -C) ^ (-T v A v -C)
Ja, kann sein, wenn das die waren, dann kann man doch einfach sehen, ob es sich um Hornformeln handelt, oder?
Achja und wenn Abschnitt, dann in jeder Konjunktion halt.
Ich wußte das alles mal, aber ich hab meine ganzen Unterlagen an Bedürftige verliehen…
Viel Glück!
Ja, kann sein, wenn das die waren, dann kann man doch einfach sehen, ob es sich um Hornformeln handelt, oder?
Bei A ((-B ^ (C -> -D)) v -E) könnte ich das jetzt nicht so aus dem Handgelenk sagen, ob es eine passende Hornformel gibt und müsste das schon erst mal umformen.
na aus
(A | B) & (-A | B) & (-B)
kannst du auch nur über viel Nachdenken erkennen,
ob es eine äquivalente Hornformel gibt
und wenn das nicht 3 sondern 3000 Klauseln sind..,
Erwähnte ich schon, dass ich irgendwann im dritten Semester erkannte, dass ich F noch weniger als Mathe mag? [img]
http://www.fb18.de/gfx/15.gif[/img]
..und ich bin genauso schlau wie vorher =)
aber dnake =)
guckt euch mal bitte
http://www.informatik.uni-hamburg.de/WSV/f1/2002/Aufgaben/Loesung8.pdf an.
auf der zweiten seite in der zweiten tabelle ist angegeben, dass A^B eine Hornformel ist. Aber eine Hornformel darf doch laut Skript nur höchstens EIN positives Literal enthalten, und bei A^B sehe ich zwei.
Oder besteht die HornFORMEL A^B aus zwei HornKLAUSELN mit nur einem positiven Literal, nämlich A und B? Das wäre dann ja in Ordnung.
dankeschön!
