Man kann so anfangen: Für Teilmengen \(A,B,C\subseteq M \) einer Menge M hat man
\(A\setminus (B\setminus C)=\{x\in M:x\in A \land \neg(x\in (B\setminus C))\}=...=\{x\in M:(x\in A \land x\notin B)\lor (x\in A \land x\in C)\}=\{x\in M: x\in A\setminus B \lor x\in A\cap C\}=(A\setminus B)\cup (A\cap C) \)
Versuche, die ... auszufüllen.