Eu fiz desse jeito:
Nota��o:
T --> conjunto universo
J --> conjunto J
J' --> conjunto complementar �
J (pertence � T, mas n�o pertence a J)
Ent�o, segue que:
( A - B ) U ( B - A ) = ( A U B ) - ( A inter
B )
( A inter B' ) U ( B inter A' ) = ( A U B ) inter
( A inter B )'
Pelas Rela��es de Morgan:
( A inter B' ) U ( B inter A' ) = ( A U B ) inter
( A' U B' )
( A U B ) inter ( A U A' ) inter ( B U B' )
inter ( B' U A' ) = ( A U B ) inter ( A' U B' )
Mas como um conjunto J U J' � o conjunto universo
(T):
( A U B ) inter ( T ) inter ( T )
inter ( B' U A' ) = ( A U B ) inter ( A' U B' )
Portanto:
( A U B ) inter ( B' U A' ) = ( A U B ) inter ( A'
U B' )
( A U B ) inter ( A' U B' ) = ( A U B ) inter ( A'
U B' )
Provado. Algu�m me corrija se eu errei em algum
ponto por favor.
Abra�os
|