Disjunktionsterm

Ein Disjunktionsterm ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird. Ihre allgemeine Form sieht so aus:

$\chi _{1}\vee \chi _{2}\vee ...\vee \chi _{i}$, wobei $\chi _{i}\in \{X_{i},{\overline {X}}_{i}\}$

Ein Disjunktionsterm, der sämtliche n Indices der betrachteten Booleschen Funktion F: Bⁿ -> B¹ enthält, wird auch als Maxterm bezeichnet. Die entsprechende konjunktive Verknüpfung bezeichnet man als Konjunktionsterm.