Klauselmenge

#Studium #Informatik #Logik #Definition

Eine Klauselmenge ist eine Menge von Klauseln. Sie repräsentiert die Konjunktion (UND-Verknüpfung) dieser Klauseln und ist damit eine alternative Schreibweise für eine Formel in KNF.

{C_{1}, C_{2}, . . ., C_{n}} \equiv C_{1} \land C_{2} \land \dots \land C_{n}