Monom (Logik)

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:

$\chi_1 \wedge ...\wedge \chi_i \wedge ... \wedge \chi_n$, wobei $\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.

Verkürzung und Expansion

Konjunktionsterme kann man verkürzen (verschmelzen) und expandieren (entwickeln). Die Verschmelzung zweier Konjunktionsterme kann dann erfolgen, wenn sich diese um genau ein Literal unterscheiden. Dieses eine Literal kommt also in dem einen Konjunktionsterm normal, in dem anderen negiert vor. Das folgende Beispiel demonstriert die Verschmelzung. Die beiden Konjunktionsterme

$M_1 = X_1X_2\overline {X_3}X_4, M_2 = X_1X_2X_3X_4$

unterscheiden sich an der dritten Stelle. Bei der Disjunktion dieser beiden Terme kann die dritte Stelle somit wegfallen:

$M_1 \vee M_2 = X_1X_2X_4$

Diese Möglichkeit ergibt sich allgemein aus der Beziehung $AB \vee A \overline B = A(B \vee \overline B) = A$. Die Umkehrung dieser Beziehung bezeichnet man als Expansion oder Entwicklung. Mittels wiederholter Entwicklungen lassen sich aus Konjunktionstermen Minterme gewinnen.

Siehe auch

• Konjunktion