MDLUL/maximal widerspruchsfrei

Start=maximal widerspruchsfrei

MDLUL/maximal widerspruchsfrei

Ziel=Ausdrucksmenge/Maximal widerspruchsfrei/Definition