Aussagenlogik/Aussagenformen in disjunktiver Normalform/Aufgabe