Konjunktionsterm

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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:

, wobei

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

Verkürzung und Expansion

[Bearbeiten | Quelltext bearbeiten]

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

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

Diese Möglichkeit ergibt sich allgemein aus der Beziehung . Die Umkehrung dieser Beziehung bezeichnet man als Expansion oder Entwicklung. Mittels wiederholter Entwicklungen lassen sich aus Konjunktionstermen Minterme gewinnen.