Negação Dupla, Comutatividade (de & e de V), Associatividade (de & e de V), Distributividade (de V sobre & e de & sobre V), Leis de De Morgan, Implicação, Contraposição, Equivalência, Importação/Exportação e Tautologia.

Exercícios.