"disjunctive normal form" Deutsche bedeutung