Disjunktionsterm

Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird. Ihre allgemeine Form sieht so aus:

<math>X_1 \vee X_2 \vee \dots \vee X_k</math>, wobei <math> X_i \in \lbrace 0, 1 \rbrace</math>.

Ein Disjunktionsterm, der sämtliche Indizes der betrachteten Booleschen Funktion <math>F\colon \{0;1\}^n \rightarrow \{0;1\}</math> enthält, wird auch als Maxterm bezeichnet. Fügt man mehrere Disjunktionsterme durch Konjunktionen zusammen, so erhält man eine konjunktive Normalform.

Die entsprechende konjunktive Verknüpfung von Literalen bezeichnet man als Konjunktionsterm.

Einige Beispiele für Disjunktionsterme, wobei <math>A_i</math> jeweils Atome seien:

<math>\neg A_0 \vee A_1</math>

<math>A_0 \vee A_1 \vee A_2</math>

<math>\neg A_0 \vee \neg A_1 \vee \neg A_2</math>