Aufgabe 1b, vom 9.7.05
[ ( -B v A ) v (-C v A ) ] & [ ( -D & C ) v ( B & C ) ] & [ (-C & -A ) v ( D & -A ) ]