Download - Regras de Equivalência ou Álgebra das proposições de Equivalência ou Álgebra das proposições Lei da dupla negação: )) Idempotência: Comutatividade: Eliminação da bi Associatividade:

Transcript
Page 1: Regras de Equivalência ou Álgebra das proposições de Equivalência ou Álgebra das proposições Lei da dupla negação: )) Idempotência: Comutatividade: Eliminação da bi Associatividade:

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:

( )

( )