Hình như VP phải là [tex](A\cup B)/(A\cap B)[/tex] chứ nhỉ.
Giả sử [tex]x\in (A/B)\cup (B/A)\Rightarrow [/tex][tex]x \in A, x\notin B[/tex] hoặc [tex]x\in B,x\notin A[/tex]
Cả 2 trường hợp tời dẫn tới [tex]x\notin (A\cap B),x \in (A \cup B)[/tex]
Từ đó [tex](A/B)\cup (B/A)\subset (A\cup B)/(A\cap B)[/tex](1)
Giả sử [tex]x\in (A\cup B)/(A\cap B)\Rightarrow x\in (A\cup B),x\notin (A\cap B)[/tex]
[tex]x\in (A\cup B)\Rightarrow x\in A[/tex] hoặc [tex]x\in B[/tex]
[tex]x\notin (A\cap B)\Rightarrow[/tex] x không cùng thuộc cả A và B.
Từ đó ta có [tex]x\in A,x\notin B[/tex] hoặc [tex]x\in B,x\notin A[/tex].
Mà điều này dẫn tới [tex]x\in (A/B)\cup (B/A)[/tex] nên [tex](A\cup B)/(A\cap B)\subset (A/B)\cup (B/A)[/tex](2)
Từ (1) và (2) suy ra đpcm.