Logical equality

Logical equality
XNOR Logic Gate Symbol

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:

\begin{matrix}
x \leftrightarrow y & \quad &  \quad & x \Leftrightarrow y &  \quad & Exy \\
x \ \mbox{EQ} \ y   & \quad & \quad & x = y
\end{matrix}

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:

\begin{matrix}
x + y              & \quad & \quad & x \not\equiv y &  \quad & Jxy \\
x \ \mbox{XOR} \ y & \quad & \quad & x \ne y
\end{matrix}

This explains why "EQ" is often called "XNOR" in the combinational logic of circuit engineers, since it is the Negation of the XOR operation; NXOR is a less commonly used alternative.[1] 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, or p == q) is as follows:

Logical Equality
p q p = q
0 0 1
0 1 0
1 0 0
1 1 1
The Venn diagram of A EQ B (red part is true)

Alternative descriptions

The form (x = y) is equivalent to the form (xy) ∨ (¬x ∧ ¬y).

(x = y) = \lnot(x \oplus y) = (x \land y) \lor (\lnot x \land \lnot y) = (\lnot x \lor y) \land (x \lor \lnot y)

For the operands x and y, the truth table of the logical equality operator is as follows:

x \leftrightarrow y y
T F
x T T F
F F T

See also

Nicolas P. Rougier's rendering of the human brain.png Thinking portal

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Equality (mathematics) — Loosely, equality is the state of being quantitatively the same. More formally, equality (or the identity relation) is the binary relation on a set X defined by . The identity relation is the archetype of the more general concept of an… …   Wikipedia

  • Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… …   Wikipedia

  • Logical equivalence — In logic, statements p and q are logically equivalent if they have the same logical content.Syntactically, p and q are equivalent if each can be proved from the other. Semantically, p and q are equivalent if they have the same truth value in… …   Wikipedia

  • Logical constant — In symbolic logic, a logical constant of a language L is a symbol that has the same semantic value in all models of (the expressions of) L . Two important types of logical constants are logical connectives and quantifiers. The equality predicate… …   Wikipedia

  • Logical matrix — A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0,1) matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a matrix can be used to represent a binary relation between a pair of finite sets. Contents 1… …   Wikipedia

  • Non-logical symbol — In logic, the formal languages used to create expressions consist of symbols which can be broadly divided into constants and variables. The constants of a language can further be divided into logical symbols and non logical symbols (sometimes… …   Wikipedia

  • Combs method — The Combs method is a method of writing fuzzy logic rules described by William E. Combs in 1997. It is designed to prevent combinatorial explosion in fuzzy logic rules. The Combs method takes advantage of the logical equality . Contents 1… …   Wikipedia

  • Equals sign — Due to technical restrictions, := redirects here. For the computer programming assignment operator, see Assignment (computer programming). For the definition symbol, see List of mathematical symbols#Symbols. = and = redirect here. For double… …   Wikipedia

  • Truth table — A truth table is a mathematical table used in logic specifically in connection with Boolean algebra, boolean functions, and propositional calculus to compute the functional values of logical expressions on each of their functional arguments, that …   Wikipedia

  • List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”