"disjunktive Normalform" Englisch