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 ( 
). Se A e B representam declarações, então A B significa "A if and only if B."
A declaração A B significa "A if and only if B."
p>A declaração A ).jpg">B é exactamente igual a
(A 
B) * (B A)
onde o asterisco (*) representa a operação lógica E, e a seta de dupla linha ( ) representa a implicação lógica.
Equivalência lógica funciona nos dois sentidos. Assim,
(A B) (B A)
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 .