Equivalência lógica

Avaliação lógica é um tipo de relação entre duas afirmações ou frases em lógica proposicional ou álgebra booleana. A relação se traduz verbalmente em "se e somente se" e é simbolizada por uma seta dupla, de dupla linha, apontando para a esquerda e direita ( equiv.jpg). Se A e B representam declarações, então A equiv.jpgB significa "A if and only if B."

A declaração A equiv.jpgB significa "A if and only if B."

p>A declaração A equiv.jpg).jpg">B é exactamente igual a

(A implies.jpgB) * (B implies.jpgA)

onde o asterisco (*) representa a operação lógica E, e a seta de dupla linha ( implies.jpg) representa a implicação lógica.

Equivalência lógica funciona nos dois sentidos. Assim,

(A equiv.jpgB) implies.jpg(B equiv.jpgA)

A equivalência lógica é importante no desenho de circuitos digitais. Vários circuitos podem ser logicamente equivalentes, na medida em que todos eles têm tabelas de verdade s idênticas. O objetivo do engenheiro é encontrar o circuito que realiza a função lógica desejada usando o menor número possível de portões. Isto resultará em uma ótima eficiência operacional, confiabilidade e velocidade.

Também veja Símbolos Matemáticos .