(A\setminus B)\cup C = (A\cap B^c)\cup C=(A\cup C)\cap(B^c\cup C)=(A\cup C)\cap(B \cap C^c)^c=(A\cup C)\cap(B\setminus C)^c=(A\cup C)\setminus (B\setminus C)