disjunktive normalform: nicht gefunden