Logical equality
From Textop Wiki
| The article below may contain errors of fact, bias, grammar, etc. The Citizendium Foundation and the participants in the Citizendium project make no representations about the reliability of this article or, generally, its suitability for any purpose. We make this disclaimer of all Citizendium article versions that have not been specifically approved. |
Logical equality is a logical operator that corresponds to equality in boolean algebra and to the logical biconditional in propositional calculus. It gives the functional value true if both functional arguments have the same logical value, and false if they are different.
It is customary practice in various applications, if not always technically precise, to indicate the operation of logical equality on the logical operands x and y by any of the following forms:
- <math>\begin{matrix}
x \leftrightarrow y & \quad & \quad & x \Leftrightarrow y \\ x \ \mbox{EQ} \ y & \quad & \quad & x = y \end{matrix}</math>
Some logicians, however, draw a firm distinction between a functional form, like those in the lefthand column, which they interpret as an application of a function to a pair of arguments ? and thus a mere indication that the value of the compound expression depends on the values of the component expressions ? and an equational form, like those in the righthand column, which they interpret as an assertion that the arguments have equal values, in other words, that the functional value of the compound expression is true.
In mathematics, the plus sign "+" almost invariably indicates an operation that satisfies the axioms assigned to addition in the type of algebraic structure that is known as a field. For boolean algebra, this means that the logical operation signified by "+" is not the same as the inclusive disjunction signified by "∨" but is actually equivalent to the logical inequality operator signified by "≠", or what amounts to the same thing, the exclusive disjunction signified by "XOR". Naturally, these variations in usage have caused some failures to communicate between mathematicians and switching engineers over the years. At any rate, one has the following array of corresponding forms for the symbols associated with logical inequality:
- <math>\begin{matrix}
x + y & \quad & \quad & x \not\equiv y \\ x \ \mbox{XOR} \ y & \quad & \quad & x \ne y \end{matrix}</math>
This explains why "EQ" is often called "XNOR" in the combinational logic of circuit engineers, since it is the Negation of the XOR operation. Another rationalization of the admittedly circuitous name "XNOR" is that one begins with the "both false" operator NOR and then adds the eXception, "or both true".
Contents |
Definition
Logical equality is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both operands are false or both operands are true.
The truth table of p EQ q (also written as p = q, p ↔ q, or p ≡ q) is as follows:
| p | q | p = q |
|---|---|---|
| F | F | T |
| F | T | F |
| T | F | F |
| T | T | T |
Alternative descriptions
The form (x = y) is equivalent to the form (x ∧ y) ∨ (¬x ∧ ¬y).
<math>(x = y) = \lnot(x + y) = (x \land y) \lor (\lnot x \land \lnot y)</math>
For the operands x and y, the truth table of the logical equality operator is as follows:
| <math>x \leftrightarrow y </math> | y | ||
|---|---|---|---|
| T | F | ||
| x | T | T | F |
| F | F | T | |
See also
Logical operators
Template:Col-begin Template:Col-break
- Exclusive disjunction
- Logical conjunction
- Logical disjunction
- Logical equality
Related topics
Template:Col-begin Template:Col-break
External links
- Mathworld, XNOR
- Portions of the above article are adapted from an earlier version of the Wikinfo article, "Logical equality", used under the GNU Free Documentation License.
- Portions of the above article are adapted from an earlier version of the Wikipedia article, "Logical equality", used under the GNU Free Documentation License.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section titled GNU FDL text.
