Konjunktionsterm

Ein Konjunktionsterm (auch Monom genannt) ist eine Boolesche Funktion, die ausschließlich durch die konjunktive Verknüpfung von Literalen gebildet wird (d. h. alle Literale sind durch ein logisches Und verbunden). Ihre allgemeine Form sieht so aus:

${\displaystyle \chi _{1}\wedge ...\wedge \chi _{i}\wedge ...\wedge \chi _{n}}$, wobei ${\displaystyle \chi _{i}\in \{X_{i},{\overline {X}}_{i}\}}$

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