konjunktive Normalform

См. также в других словарях:

• Konjunktive Normalform — Als konjunktive Normalform (kurz KNF, engl. CNF für conjunctive normal form) wird in der Aussagenlogik eine bestimmte Form von Formeln bezeichnet. Inhaltsverzeichnis 1 Definition 2 Kanonische konjunktive Normalform 3 Bildung …   Deutsch Wikipedia

• Normalform — Unter einer Normalform (auch kanonische Form) versteht man eine Darstellung mit bestimmten vorgegebenen Eigenschaften. Mitunter ist die Darstellung eindeutig. Formal ist eine Normalform ein letztes Element in einer Kette von einer wohlfundierten… …   Deutsch Wikipedia

• Disjunktive Normalform — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung …   Deutsch Wikipedia

• Kanonische Normalform — Eine aussagenlogische Formel ist die kanonische Normalform (KNF; engl.: canonical normal form) zu einer weiteren aussagenlogischen Formel, wenn sie eine Normalform dieser aussagenlogischen Formel ist, d.h. eine zu dieser Formel äquivalente… …   Deutsch Wikipedia

• Negations-Normalform — Eine logische Formel ist in Negationsnormalform (NNF), falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen. Eine Formel in Negationsnormalform kann in die konjunktive (KNF) oder disjunktive Normalform (DNF) gebracht… …   Deutsch Wikipedia

• Klausel-Normalform — Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden. Eine Formel in Klauselform (selten auch Klausenform) ist… …   Deutsch Wikipedia

• KNF — Konjunktive Normalform …   Acronyms

• KNF — Konjunktive Normalform …   Acronyms von A bis Z

• KDNF — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung 4 Beispiel für die Bildung der… …   Deutsch Wikipedia

• Produktterm — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung 4 Beispiel für die Bildung der… …   Deutsch Wikipedia

• Sum of products — Als disjunktive Normalform (kurz DNF) wird in der Booleschen Algebra eine in besonderer Weise normierte Funktionsdarstellung Boolescher Funktionen bezeichnet. Inhaltsverzeichnis 1 Definition 2 Erläuterung 3 Bildung 4 Beispiel für die Bildung der… …   Deutsch Wikipedia