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:

( )

( )