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 shown below:

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

<br>

<br>