Regras de Equivalência ou Álgebra das proposições
Lei da dupla negação:
Idempotência:
Comutatividade:
Associatividade:
( ) ( )
( ) ( )
Distributividade:
( ) ( ) ( )
( ) ( ) ( )
De Morgan:
( )
( )
Eliminação da condicional:
( )
Eliminação da bicondicional:
( ) ( )
( ) ( ) ( )
Regras de Absorção:
( )
( )
Top Related