(A−B)∪(B−A)=(A∪B) − (A∩B) Please confirm if my following attempt is correct
Let x ∈ (A − B) ∪ (B − A) ⇒ x ∈ (A – B) ∨ x ∈ (B – A)    
⇒ (x ∈ A ∧ x ∉ B) ∨  (x ∈ B ∧ x ∉ A) 
⇒ ((x ∈ A ∧ x ∉ B) ∨ x ∈ B) ∧ ((x ∈ A ∧ x ∉ B) ∨ x ∉ A) 
by distributive law
⇒ ((x ∈ A ∨ x ∈ B) ∧ (x ∉ B ∨ x ∈ B)) ∧
                                 ((x ∈ A ∨ x ∉ A) ∧ (x ∉ B ∨ x ∉ A)) 
                    by distributive law
⇒ ((x ∈ A∪B) ∧ TRUE) ∧ (TRUE ∧ x ∉ (B ∧ A))  (As  P ∨ ¬P = TRUE) 
⇒  x ∈ A∪B) ∧ x ∉ (B ∧ A)      (As P∧TRUE = P)
⇒ x ∈ (A∪B) − (B∩A)
⇒ (A − B) ∪ (B − A) ⊆ (A∪B) − (B∩A) 
Conversely,  Let y ∈ (A∪B) − (A∩B) 
⇒  (y ∈ A ∨ y ∈ B) ∧  y ∉ (A∩B) 
⇒ (y∈A ∨ y∈B) ∧ (y∉A ∨ y∉B)
⇒ ((y∈A ∨ y∈B) ∧ y∉A) ∨ ((y∈A ∨ y∈B) ∧ y∉B)
⇒ ((y∈A ∧ y∉A) ∨ (y∈B ∧ y∉A)) ∨ ((y∈A ∧ y∉B) ∨ (y∈B ∧ y∉B))
⇒ (FALSE ∨ y∈(B−A)) ∨ (y∈(A−B) ∨ FALSE)   (As P ∧ ¬P = FALSE) 
⇒ y∈(B−A) ∨ y∈(A−B)      (As P ∨ FALSE = P)
⇒ y∈((B−A) ∪(A−B)) 
⇒ (A∪B) − (A∩B) ⊆ (A − B) ∪ (B − A)   … (ii)
Therefore from (i) and (ii) we get;
         (A−B)∪(B−A) = (A∪B) − (A∩B)   Proved


This is very complicated for such an easy exercise. Notice that by definition, $$A\setminus B=A\setminus (A\cap B)=A\cap (A\cap B)^c.$$
Therefore, $$(A\setminus B)\cup (B\setminus A)=A\cap (A\cap B)^c\cup B\cap (A\cap B)^c$$
$$\underset{(*)}{=}(A\cup B)\cap (A\cap B)^c=(A\cup B)\setminus (A\cap B),$$
where $(*)$ come from Morgan law.
