Start=aussagenlogisch

MDLUL/aussagenlogisch

Ziel=Aussagenlogik/Variablenmenge/Junktoren/Definition