Kenneth H. Rosen (2004).

Matemtica Discreta y sus

Aplicaciones. 5.a ed. McGraw-Hill

Equivalencias lgicas
Equivalencia

Nombre

Leyes de identidad

Leyes de dominacin

Leyes idempotentes

()

Ley de la doble negacin

Leyes conmutativas

( ) ( )

Leyes asociativas

( ) ( )
( ) ( ) ( )

Leyes distributivas

( ) ( ) ( )
( )

Leyes de De Morgan

( )
( )

Leyes de absorcin

( )

Leyes de negacin

Ley de negacin de tautologa

Ley de negacin de contradiccin

Identidades entre conjuntos

Identidad

Nombre

Leyes de identidad

=
=

Leyes de dominacin

=
=

Leyes idempotentes

=
() =

Ley de complementacin

Leyes conmutativas

=
( ) = ( )

Leyes asociativas

( ) = ( )
( ) = ( ) ( )

Leyes distributivas

( ) = ( ) ( )
=

Leyes de De Morgan

=
( ) =

Leyes de absorcin

( ) =
=

Leyes de complemento

=
=

Ley de complemento del conjunto universal

Ley de complemento del conjunto vaco