Inhaltsverzeichnis:
- Definition - Was bedeutet konjunktive Normalform (CNF)?
- Techopedia erklärt die konjunktive Normalform (CNF)
Definition - Was bedeutet konjunktive Normalform (CNF)?
Conjunctive Normal Form (CNF) ist ein Ansatz zur Booleschen Logik, der Formeln als Konjunktionen von Klauseln mit UND oder ODER ausdrückt. Jede durch eine Konjunktion oder ein UND verbundene Klausel muss entweder ein Literal sein oder eine Disjunktion oder einen ODER-Operator enthalten. CNF ist nützlich für die automatisierte Beweisführung von Theoremen.
Techopedia erklärt die konjunktive Normalform (CNF)
In der konjunktiven Normalform sind Aussagen in der Booleschen Logik Konjunktionen von Klauseln mit Klauseln von Disjunktionen. Mit anderen Worten, eine Anweisung ist eine Reihe von ODER-Verknüpfungen, die durch UND-Verknüpfungen verbunden sind.
Beispielsweise:
(A ODER B) UND (C ODER D)
(A ODER B) UND (NICHT C ODER B)
Die Klauseln können auch Literale sein:
A ODER B
A UND B
Literale werden in CNF als Konjunktionen von Literalklauseln und Konjunktionen angesehen, die zufällig eine einzige Klausel haben. Es ist möglich, Anweisungen in CNF umzuwandeln, die in einer anderen Form geschrieben sind, z. B. in einer disjunktiven Normalform.
