MDLUL/Aussagenvariablenmenge