Diskussion:Klausel-Normalform
siehe auch: Horn-Formel
BearbeitenIch habe mir ja zum Ziel gesetzt, die siehe-auchs einzuarbeiten. Das hier ist mir etwas zu starker Tobak. Kann jemand den Bezug zwischen den beiden Artikeln formulieren. Mir scheint da gibt es Überlappungen. --Siehe-auch-Löscher 18:01, 24. Jan. 2008 (CET)
Fehler: Klauselform ist IMMER in KNF!
BearbeitenZum nachlesen: http://www.informatik.uni-leipzig.de/alg/lehre/ws07_08/LOGIK/folien.pdf
(Seite 160 bzw. Folie 152)
Weiterhin ist in den Beispielen immer von der KNF die Rede.
UPDATE: Ich sehe gerade, dass hier Prädikatenlogik und Aussagenlogik vermischt wurde. Laut der Vorlesung meines Prof.'s, wird eine Klauselform folgendermaßen definiert:
Eine Aussage (= geschlossene Formel) heißt in Klauselform, falls sie die Bauart ∀y1∀y2 · · · ∀yn F hat, wobei F keine Quantoren enthält und in KNF ist.
Denke, dass hier irgendwas nicht hinhaut mit dem Artikel. Entweder auftrennen in Aussagenlogik und Prädikatenlogik oder inhaltlich ändern... k00ni 21:58, 5. Feb. 2008 (CET)
Hallo k00ni, ich sehe nicht wo sich dieser Artikel um Prädikatenlogik dreht, bitter erläutere deine Verbesserungsvorschläge ein wenig! Was die Konjunktive Normalform angeht, so steht im Artikel, dass bei Angabe als disjunktive Normalform stets der Wahrheitswert falsch resultieren muss, was dann nach den De Morgan'schen Gesetzen durchaus äquivalent zur KNF ist. Viele Grüße -- the contented Diskussion 01:53, 27. Feb. 2008 (CET)