In der Musterloesung zu Aufgabe 8b ist ein Fehler. 

Die 3. Zeile ist schon nicht ganz richtig. Die 4. (die DNF) ist dann
wieder richtig und die 5. auch. Von dort muss es dann aber anders
weitergehen, beispielsweise so:

((A & -B) v A) v ((B & -C) v C)
((A & -B) v (A & 1)) v ((B v C) & (-C v C))
(A & (-B v 1)) v ((B v C) & 1)
(A & 1) v (B v C)
A v B v C