MDLUL/erfüllbar (Aussagenlogik)