Exclusive or in the context of Logical equality

In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a generalization of a power set algebra or a field of sets, or its elements can be viewed as generalized truth values. It is also a special case of a De Morgan algebra and a Kleene algebra (with involution).

Every Boolean algebra gives rise to a Boolean ring, and vice versa, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨). However, the theory of Boolean rings has an inherent asymmetry between the two operators, while the axioms and theorems of Boolean algebra express the symmetry of the theory described by the duality principle.

In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true. Symbolically expressed, the law is (p ∨ ~p).

The law of the excluded middle is also known as the law/principle of the excluded third, in Latin principium tertii exclusi. Another Latin designation for the law is tertium non datur or "no third [possibility] is given".

In mathematics, the Klein four-group is an abelian group with four elements, in which each element is self-inverse (composing it with itself produces the identity) and in which composing any two of the three non-identity elements produces the third one. It can be described as the symmetry group of a non-square rectangle (with the three non-identity elements being horizontal reflection, vertical reflection and 180-degree rotation), as the group of bitwise exclusive-or operations on two-bit binary values, or more abstractly as ${\displaystyle \mathbb {Z} _{2}\times \mathbb {Z} _{2}}$, the direct product of two copies of the cyclic group of order 2 by the Fundamental Theorem of Finitely Generated Abelian Groups. It was named Vierergruppe (German: [ˈfiːʁɐˌɡʁʊpə] , meaning four-group) by Felix Klein in 1884. It is also called the Klein group, and is often symbolized by the letter ${\displaystyle V}$ or as ${\displaystyle K_{4}}$.

The Klein four-group, with four elements, is the smallest group that is not cyclic. Up to isomorphism, there is only one other group of order four: the cyclic group of order 4. Both groups are abelian.

In mathematics, a Boolean ring R is a ring for which x = x for all x in R, that is, a ring that consists of only idempotent elements. An example is the ring of integers modulo 2.

Every Boolean ring gives rise to a Boolean algebra, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference (not disjunction ∨, which would constitute a semiring). Conversely, every Boolean algebra gives rise to a Boolean ring. Boolean rings are named after the founder of Boolean algebra, George Boole.

In electronics, a subtractor is a digital circuit that performs subtraction of numbers, and it can be designed using the same approach as that of an adder. The binary subtraction process is summarized below. As with an adder, in the general case of calculations on multi-bit numbers, three bits are involved in performing the subtraction for each bit of the difference: the minuend (${\displaystyle X_{i}}$), subtrahend (${\displaystyle Y_{i}}$), and a borrow in from the previous (less significant) bit order position (${\displaystyle B_{i}}$). The outputs are the difference bit (${\displaystyle D_{i}}$) and borrow bit ${\displaystyle B_{i+1}}$. The subtractor is best understood by considering that the subtrahend and both borrow bits have negative weights, whereas the X and D bits are positive. The operation performed by the subtractor is to rewrite ${\displaystyle X_{i}-Y_{i}-B_{i}}$ (which can take the values -2, -1, 0, or 1) as the sum ${\displaystyle -2B_{i+1}+D_{i}}$.

where ⊕ represents exclusive or.