igualdade lógica

Igualdade lógica é um operador lógico que corresponde à igualdade emÁlgebra booleana e ao operador se e somente se no cálculo proposicional.Ele "retorna" o valor verdadeiro se os dois argumentos têm o mesmo valor de verdade, e falso caso contrário. É uma prática comum em várias aplicações, mesmo que nem sempre seja tecnicamente preciso, indicar a operação de igualdade lógica sobre os operandos x e y pelas formas a seguir: Alguns lógicos, entretanto, distinguem firmemente a forma funcional, como as da esquerda, as quais eles interpretam como a aplicação de uma função a dois argumentos — e consequentemente uma mera indicação de que o valor da expressão composta — da forma de equação, como as da direta, que são interpretadas como uma afirmação significando que os argumentos têm valores iguais, ou seja, que o valor da função aplicada à expressão é verdadeiro. Em matemática, o sinal de adição "+" quase sempre indica a operação que satisfaz os axiomas relacionados à soma no tipo de estrutura algébrica que é conhecido como campo.Para a álgebra booleana, isso significa que a operação lógica representada pelo "+" não é a mesma que a disjunção, representado pelo "∨" mas é equivalente ao operador de diferença lógica(≠), ou, de modo semelhante, à disjunção exclusiva(XOR).Naturalmente, essas variações no uso causaram algumas falhas na comunicação entre matemáticos e engenheiros ao longo dos anos.De qualquer maneira, há a sequência de símbolos que correspondem à desigualdade lógica: Isso explica por que "EQ" é frequentemente chamado de "XNOR" na lógica combinacional de engenheiros de circuitos, já que é a negação do operador XOR; NXOR é uma alternativa menos utilizada.Um jeito mais fácil de memorizar o nome "XNOR" é que é o que começa com o operador "ambos falsos" NOR,e adiciona a eXceção,"ou ambos verdadeiros"