TABLA DE EQUIVALENCIAS LGICAS
Conmutatividad de la conjuncin y la
disyuncin.
( ) ( )
( ) ( )
Asociatividad de la conjuncin y la disyuncin. [( ) ] [ ( )]
[( ) ] [ ( )]
Distributividad de respecto de y de
respecto de .
[ ( )] [( ) ( )]
[ ( )] [( ) ( )]
Leyes de De Morgan. ( )
( )
Doble negacin.
Implicacin ( )
Contrarrecproca.
Idempotencia de la Conjuncin y la Disyuncin
Leyes de Dominacin
Leyes de Identidad
Complemento
Absorcin ( )
( )
Reduccin al Absurdo ( ) [(~) ]
Exportacin [ ( )] [( ) ]
Disyuncin Exclusiva ( ) ( )
Equivalencia del Bicondicional ( ) ( )