Die konjunktive Normalform ist eine Konjunktion aus Disjunktionen von Literalen.
-A ∧ (-B v --C) ist eine Konjunktion, spricht also nicht gegen konjunktive Normalform.
Einer der Terme, der konjugiert wird, ist -B v --C. Das ist eine Disjunktion, spricht also nicht gegen konjunktive Normalform.
Ein Teilterm der Disjunktion -B v --C ist --C. Das ist kein Literal, also ist die Formel nicht in konjunktiver Normalform. Literale sind
- Variablen
- Negationen von Variablen.
Natürlich ist --C äquivalent zu C, aber --C ist nicht die Negation einer Variablen, sondern die Negation von -C. Und -C ist keine Variable. Bei der konjunktiven Normalform kommt es eben auf die Form der Formel an, nicht darauf, ob sie zu einer anderen Formel äquivalent ist.
