KNF

Definition

Die Konjunktive Normalform (KNF) ist eine standardisierte Darstellung logischer Ausdrücke in der Aussagenlogik, bei der eine Formel als Konjunktion (UND-Verknüpfung) von Disjunktionen (ODER-Verknüpfungen) geschrieben wird. Jeder boolesche Ausdruck kann in KNF umgewandelt werden, was die systematische Analyse und Vereinfachung logischer Schaltungen ermöglicht. Die KNF ist grundlegend für SAT-Solver und die automatische Beweisführung.