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 (${\displaystyle \vee }$) verknüpft sind. Dabei müssen alle ${\displaystyle n}$ Variablen der betrachteten ${\displaystyle n}$-stelligen Booleschen Funktion im Disjunktionsterm vorkommen, um von einer Volldisjunktion sprechen zu können. Beispiele sind:

• ${\displaystyle e_{1}\vee e_{2}}$
• ${\displaystyle e_{1}\vee \neg e_{2}\vee e_{3}}$
• ${\displaystyle \neg e_{1}\vee e_{2}\vee e_{3}}$

Volldisjunktionen lassen sich zu einer konjunktiven Normalform zusammensetzen.