Klausel
Unter einer Klausel versteht man in der Aussagenlogik eine Disjunktion von Literalen. Fügt man mehrere Klauseln durch Konjunktionen zusammen, so erhält man eine Konjunktive Normalform.Einige Beispiele für Klauseln, falls ein Literal ist:
Die allgemeine Bildungformel für Klauseln lautet: