A×B= {< 1,4 >,< 2,4 >,< 3,4 >,< a,4 >,< b,4 >,< 1,a >,< 2,a >,< 3,a >,< a,a >,< b,a >}

C\ (AB) = C\{a}= {1,2,3,4,b}

(C\A) ∪ (C\B) = {4}∪{1,2,3,b}= {1,2,3,4,b}– es ist natürlich kein Zufall, dass das gleich dem letzten Ergebnis ist: Man kann sich hier viel Arbeit sparen, wenn man sieht, dass man mit DeMorgan argumentieren kann. Seht ihr, warum?