发送短信 : Minimierung disjunktiver Normalformen :