Usarei a notação para facilitar a digitacao que o complementar de um conjunto A em relação ao conjunto universo igual a A*. Adotaremos o conjunto universo como sendo o conjunto (A U B).
Logo, podemos concluir, pela definição de diferença simétrica que AB = (A inter B)*
--> A U B = (AB)(A inter B)= (A inter B)*(A inter B) =
= [ ( A inter B)* - (A inter B)] U [(A inter B) - (A inter B)*] =
= (A inter B)* U (A inter B) = A U B c.q.d.
obs. tente visualizar passo a passo pelo diagrama de Euler-Venn e espero nao ter cometido nenhum erro. abracos