MDLUL/Disjunktive Normalform