MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to search
4 bytes removed
, 16:24, 13 May 2012
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: |