MDLUL/erfüllbar (Aussagenlogik)

Start=erfüllbar (Aussagenlogik)

MDLUL/erfüllbar (Aussagenlogik)

Ziel=Aussagenlogik/Ausdrucksmenge/Erfüllbar/Definition