Changes

TeX
Line 1: Line 1:  
<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>
12,080

edits