View source for Exclusive disjunction

{{TEX|done}}
One of the logical connectives. The proposition $A\mathbin{\dot\lor}B$, obtained from two propositions $A$ and $B$ using the exclusive disjunction $\dot\lor$, is taken to be true if $A$ is true and $B$ is false, or if $A$ is false and $B$ is true. In the remaining cases it is taken to be false. Thus, the exclusive disjunction can be expressed in terms of the ordinary (non-exclusive) disjunction by the formula

\[A\mathbin{\dot\lor}B\Leftrightarrow(A\lor B)\mathbin\&\neg(A\land B).\]