(a) A \ ∅ = A ∪ ∅?  wahr, denn:
x ∈  A \ ∅
<=> x ∈  A   und x ∉ ∅
x ∉ ∅ ist wahr für alle x, also ist das
eine Und-Verbindung mit einer wahren Aussage,
die ist äquivalent zu der ersten Aussage
<=>   x ∈  A     (dann s.oder-Verbindung mit falscher Aussage)
<=>   x ∈  A   oder   x ∈ ∅
<=>    x ∉A ∪  ∅
(b) A ∪ [ (B \ C) = (A ∪ B) \ C?
Gegenbeispiel A={1,2}  B={2,3}  C={2,4}
(c)U(umgedreht) {A,B} ∪ C= U(umgedreht) {A∪C,B∪C}?
????????????