Resumo de Raciocínio Lógico - Equivalências Lógicas e Negações

Equivalências Lógicas

A ^ B = B ^ A

A v B = B v A = ~A ® B

A ® B = ~B ® ~A

A ® B = ~A v B

A « B = B « A

A v B = B v A

A v B = ~A v ~B

A v B = (A ^ ~B) v (~A ^B)

A « B = (A ® B) ^ (B ® A)

~(A È B) = ~A Ç ~B

~(A Ç B) = ~A È ~B

A ^ (A®B) = A ^ B

(A®~B) ^ (~A®B) = A«~B

 

Negações

~(A ^ B) = ~A v ~B

~(A v B) = ~A ^ ~B

A ^ ~B = A ® B

 

~(A ® B) = A ^ ~B

~(A v B) = A « B

~(A v B) = ~A v B = ~B v A

A « B = A v B

A « B = ~A « B = A « ~B

Voltar

Veja também

Outros resumos de Raciocínio Lógico