__

complementar de A ( : ~A, )outras notações A

_________ ___ ___

_________ ___ ___

Leis de De Morgan

( A B) (notações alternativas ~ ( ) ~ ~

ou ( )

( A B) (notações alternativas ~ ( ) ~ ~

A B A B A B

A B A B

A B A B A B

ou ( )A B A B

Método de prova alternativa (tabela)

Diagramas de Venn_Euller

( )a b c ( ) ( )a b a c

b c a b a ca

__ __

( ) ( )p q p q q p

*

*

*