Kanonisch disjunktive Normalform