Volldisjunktion

Als Volldisjunktion (auch: Maxterm) bezeichnet man in der Aussagenlogik einen speziellen Disjunktionsterm, d. h. eine Anzahl von Literalen, die alle durch ein logisches Oder () verknüpft sind. Dabei müssen alle Variablen der betrachteten -stelligen Booleschen Funktion im Disjunktionsterm vorkommen, um von einer Volldisjunktion sprechen zu können. Beispiele sind:

Volldisjunktionen lassen sich zu einer konjunktiven Normalform zusammensetzen.

Vergleich Minterm / Maxterm

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

Index MintermMaxterm
00 0 0
10 0 1
20 1 0
30 1 1
41 0 0
51 0 1
61 1 0
71 1 1

Realisierung von Schaltungen mit Mintermen / Maxtermen:

MintermMaxterm
0NOR-GatterAND-Gatter
1OR-GatterNAND-Gatter

Es existieren auch Vollkonjunktionen.