Konjunktionsterm

Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Angaben ohne ausreichenden Beleg könnten demnächst entfernt werden. Bitte hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst.

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.