Stav dette: Minimierung disjunktiver Normalformen :