Minterm

Minterm

Als Vollkonjunktion (auch: Minterm, Miniterm oder Elementarkonjunktion) bezeichnet man in der Aussagenlogik einen speziellen Konjunktionsterm, d. h. eine Anzahl von Buchstaben (Literalen), die alle durch ein logisches und (\wedge) verknüpft sind. Dabei müssen alle n Variablen der betrachteten n-stelligen booleschen Funktion im Konjunktionsterm vorkommen, um von einer Vollkonjunktion sprechen zu können. Vollkonjunktionen lassen sich zu einer disjunktiven Normalform zusammensetzen, was unter anderem beim Verfahren nach Quine und McCluskey vonnöten ist.

Inhaltsverzeichnis

Beispiele

Beispiele für 3-stellige boolesche Funktionen

  • e_1 \wedge e_2 \wedge e_3
  • e_1 \wedge \neg e_2 \wedge e_3
  • \neg e_1 \wedge e_2 \wedge e_3

Standardnummerierung der Vollkonjunktionen

Vollkonjunktionen lassen sich auf natürliche Weise nummerieren. Man denkt sich dabei die Variablen in einer Reihe notiert, z. B. XnXn − 1...X2X1. Kommt für eine konkrete Vollkonjunktion das jeweilige Literal Xi negiert vor, so ersetzt man es durch eine 0, sonst durch eine 1. Es entsteht eine Binärzahl, die man dezimal interpretieren kann. Diese Dezimalzahl bezeichnet man als die Nummer oder den Index des Minterms. Will man diesen Minterm über seinen Index i bezeichnen, so schreibt man mi. Analog geht dies mit den Maxtermen Mi bei Disjunktionen.

Vergleich Minterm / Maxterm

In folgender Tabelle ist der Unterschied zwischen der Maxterm- und Mintermdarstellung ersichtlich:

Index x2 x1 x0 Minterm Maxterm
0 0 0 0 \neg x_2\wedge\neg x_1\wedge \neg x_0  x_2\vee x_1\vee x_0
1 0 0 1 \neg x_2\wedge\neg x_1\wedge x_0  x_2\vee x_1\vee\neg x_0
2 0 1 0 \neg x_2\wedge x_1\wedge \neg x_0  x_2\vee\neg x_1\vee x_0
3 0 1 1 \neg x_2\wedge x_1\wedge x_0  x_2\vee\neg x_1\vee\neg x_0
4 1 0 0 x_2\wedge\neg x_1\wedge \neg x_0  \neg x_2\vee x_1\vee x_0
5 1 0 1 x_2\wedge\neg x_1\wedge x_0 \neg x_2\vee x_1\vee \neg x_0
6 1 1 0 x_2\wedge x_1\wedge \neg x_0 \neg x_2\vee \neg x_1\vee x_0
7 1 1 1 x_2\wedge x_1\wedge x_0 \neg x_2\vee \neg x_1\vee \neg x_0

Realisierung von Decoder-Schaltungen mit Mintermen / Maxtermen:

Minterm Maxterm
0 NOR-Gatter AND-Gatter
1 OR-Gatter NAND-Gatter

Bezug zum Karnaugh-Veitch-Diagramm

Man spricht auch vom Minterm einer Funktion F, wenn dieser F impliziert, d. h. wenn gilt

M(X) = 1 \Rightarrow F( X) = 1.

Dabei ist X der Vektor der Eingangsvariablen. Derartige Minterme M entsprechen umkehrbar eindeutig denjenigen Feldern eines Karnaugh-Veitch-Diagramms, die für die betrachtete Funktion den Wert 1 enthalten.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Minterm — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • minterm — noun In Boolean algebra, a product term in which each variable appears once (in either its complemented or uncomplemented form). A Boolean function can be expressed, canonically, as a sum of minterms, where each minterm corresponds to a row (of… …   Wiktionary

  • minterm — elementarioji konjunkcinė forma statusas T sritis automatika atitikmenys: angl. minterm vok. Vollkonjunktion, f rus. элементарная конъюнктивная форма, f pranc. conjonction totale, f …   Automatikos terminų žodynas

  • Delay Insensitive Minterm Synthesis — Invented by David E. Muller, the DIMS (Delay Insensitive Minterm Synthesis) system[1] is an asynchronous design methodology making the least possible timing assumptions. Assuming only the Quasi Delay Insensitive delay model the generated designs… …   Wikipedia

  • K-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • KV-Algorithmus — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • KV-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • KV-Tafel — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • Karnaugh-Diagramm — Bild 1 1: Karnaugh Veitch Diagramm: ¬AB¬C¬D ∨ A¬B¬C¬D ∨ A¬B¬CD ∨ A¬BC¬D ∨ A¬BCD ∨ AB¬C¬D ∨ ABC¬D ∨ ABCD = AC ∨ B¬C¬D ∨ A¬B …   Deutsch Wikipedia

  • Canonical form (Boolean algebra) — In Boolean algebra, any Boolean function can be expressed in a canonical form using the dual concepts of minterms and maxterms. Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”