Igualdad lógica

En matemáticas, el signo más "+" indica casi invariablemente una operación que satisface los axiomas asignados a la suma en el tipo de estructura algebraica que se conoce como cuerpo o campo.

Para el álgebra booleana, esto significa que la operación lógica representada por el signo "+" no es la misma que la disyunción lógica representada por "∨" pero en realidad es equivalente al operador de desigualdad lógica representada por "≠", o lo que equivale a lo mismo, la disyunción exclusiva indicada por "XOR" o "⊕".

Naturalmente, estas variaciones en el uso han provocado algunos problemas en la comunicación entre matemáticos e ingenieros que cambian con los años.

[1]​ Otra racionalización del nombre ciertamente tortuoso "XNOR" es que comienza con el operador NOR "ambos falsos" y luego agrega la excepción "o ambos verdaderos".

La igualdad lógica es una operación que relaciona dos valores de verdad, normalmente los valores de dos proposiciones, que a su vez produce un valor de verdadero si y solo si ambos operandos son falsos o ambos operandos son verdaderos.