Changes

<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].

<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].

'''Exclusive disjunction''', also known as '''logical inequality''' or '''symmetric difference''', is an [[logical operation|operation]] on two [[logical value]]s, typically the values of two [[proposition]]s, 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 [[proposition]]s, that produces a value of ''true'' just in case exactly one of its operands is true.

The [[truth table]] of '''p XOR q''' (also written as '''p + q''' or '''p &ne; q''') 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 as follows:

<br>

<br>