PPT-Folie
Die Terme ai und no ai heißen Literale. Ein Minterm bzw. Maxterm ist eine Konjunktion (/\) bzw. Disjunktion (\/) von Literalen, in der jedes ai entweder unnegiert oder negiert vorkommt.
Die disjunktive Normalform stellt also jede boolesche Funktion durch eine Disjunktion von Mintermen dar. Symmetrisch dazu gibt es eine konjunktive Normalform als Konjunktion von Maxtermen; sie ist aber weniger anschaulich.