查看“︁逻辑异或”︁的源代码

[[分类:二值变量运算]]
{{InfoBox
|name=逻辑异或
|eng_name=logical XOR
}}
'''逻辑异或'''('''logical XOR''')指[[二值变量]]的一种[[运算]]，相当于[[命题]][[真值]]间的[[互斥析取]]联结词。与[[模 n 剩余类环|模 2 剩余类环]]上的加法同构。

== 定义 ==

{{Operation
|name=逻辑异或
|operand=二值变量
|result=二值变量
|domain=<math>\mathbb{B} \times \mathbb{B}</math>
|codomain=<math>\mathbb{B}</math>
}}
对二值变量 <math>x, y \in \mathbb{B} = \{0,1\}</math> ，将二元运算 <math>(1,1)\mapsto 1; (0,1)\mapsto 0;(1,0)\mapsto 0;(0,0)\mapsto 1</math> 称为'''逻辑异或'''('''logical XOR''')运算，记作 <math>x\oplus y</math> 。也有人记作 <math>x\veebar y</math> 。

也可以建模为 <math>\mathbf{F}_2</math> 上的加法。

=== 乘法表 ===

{| class='wikitable'
|-
! <math>\cdot</math>
! T
! F
|-
! T
| style='background-color: rgba(255,0,0,0.1)' | F
| style='background-color: rgba(0,255,0,0.1)' | T
|-
! F
| style='background-color: rgba(0,255,0,0.1)' | T
| style='background-color: rgba(255,0,0,0.1)' | F
|}

== 性质 ==

运算性质：
* [[结合律]]
* [[交换律]]

== 变体 ==

=== 多元逻辑异或 ===

由于是一种符合结合律的运算，可以定义多元逻辑异或运算。

=== 三值逻辑异或 ===

对[[三值逻辑变量]]，也存在对应逻辑与的同名运算。

{| class='wikitable'
|-
! <math>\oplus</math>
! T
! U
! F
|-
! T
| style='background-color: rgba(255,0,0,0.1)' | F
| U
| style='background-color: rgba(0,255,0,0.1)' | T
|-
! U
| U
| U
| U
|-
! F
| style='background-color: rgba(0,255,0,0.1)' | T
| U
| style='background-color: rgba(255,0,0,0.1)' | F
|}



{{逻辑运算}}