Pošalji SMS: Minimierung disjunktiver Normalformen :