Zaslat SMS: Minimierung disjunktiver Normalformen :