Changes

'''Exclusive disjunction''', also known as '''logical inequality''' or '''symmetric difference''', is an operation on two logical values, typically the values of two propositions, that produces a value of ''true'' just in case exactly one of its operands is true.

'''Exclusive disjunction''', also known as '''logical inequality''' or '''symmetric difference''', is an operation on two logical values, typically the values of two propositions, that produces a value of ''true'' just in case exactly one of its operands is true.

The [[truth table]] of <math>p ~\operatorname{XOR}~ q</math> (also written as <math>p + q\!</math> or <math>p \ne q\!</math>) is as follows:

The [[truth table]] of <math>p ~\operatorname{XOR}~ q,</math> also written as <math>p + q\!</math> or <math>p \ne q,\!</math> is shown below:

<br>

<br>