12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchde-link proposition until we get a proper article
Line 1:
Line 1:
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
<font size="3">☞</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 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.
+'''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 as follows:
