Klausel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Disjunktion von Literalen (Atome oder deren Negationen), die als eine einzige syntaktische Einheit behandelt wird; häufig verwendet in konjunktiver Normalform (KNF) und als Basiselement für resolutionsbasierte Beweisverfahren und SAT‑Solver.