SMS dit: Minimierung disjunktiver Normalformen :