Dazu wird die Formel negiert, dann mit dem Verfahren nach Quine und McCluskey in die disjunktive Normalform transformiert und wieder negiert. Conjunctive normal form is a normal form which can be used both for modelling and computing 1-assignments in a syntactic fashion. Für jede Zeile, die als Resultat eine 0 liefert, wird eine Klausel gebildet, die alle Variablen der Funktion disjunktiv mit der invertierten Belegung verknüpft. To prove this, first recall that every propositional formula is equivalent to a formula in negation normal form. Introduction. … Eine Formel in KNF hat also die Form. & \SemEquiv \bigwedge_{i (implication) => (equivalence) ~ (not) Shortcuts. There are normal forms for other logics, too, such as for predicate logic which we’ll look at in the next Section 2.4. \bigwedge_{i