查看“︁互斥析取”︁的源代码

[[分类:命题逻辑]]{{DEFAULTSORT:hu4chi4xi1qu3}}
{{#seo:
|keywords=互斥析取, 逻辑异或, 排斥或
|description=本文介绍互斥析取的定义、性质与表示方法，包括互斥析取作为二元逻辑联结词的概念，其真值表定义，及其在布尔代数中的运算性质。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-08-06
}}
{{InfoBox
|name=互斥析取
|eng_name=exclusive disjunction
|aliases=逻辑异或,logical XOR,排斥或,不可兼或,exclusive or
}}
'''互斥析取'''('''exclusive disjunction''')是二元[[逻辑联结词]]，表示“两个命题中恰好一个为[[真]]”所对应的命题。
对应自然语言中'''或'''的排它性用法。

<blockquote>
通常意义上的“或”可能指“相容或”（[[析取]]）或“排斥或”（互斥析取）。
</blockquote>

互斥析取不是五个常用[[逻辑联结词]]之一，但其对应的[[逻辑异或]]和[[按位异或]]在计算机科学等领域有大量应用。

== 定义 ==

{{Operation
|name=互斥析取
|symbol=<math>\nleftrightarrow</math>,<math>\oplus</math>,<math>\veebar</math>
|latex=\nleftrightarrow,\oplus,\veebar
|operand=命题公式
|result=命题公式
|prototype=布尔代数
}}
对命题 <math>P</math> 、 <math>Q</math> ，记命题 <math>R</math> 满足：
* 当 <math>P</math> 为真，同时 <math>Q</math> 为假时，命题 <math>R</math> 为真；
* 当 <math>P</math> 为假，同时 <math>Q</math> 为真时，命题 <math>R</math> 为真；
* 当 <math>P</math> 为真，同时 <math>Q</math> 也为真时，命题 <math>R</math> 为假；
* 当 <math>P</math> 为假，同时 <math>Q</math> 也为假时，命题 <math>R</math> 为假。
称这样的命题 <math>R</math> 为命题 <math>P</math> 与命题 <math>Q</math> 的'''互斥析取'''('''exclusive disjunction''')，记作 <math>P \nleftrightarrow Q</math> 、 <math>P \oplus Q</math> 或 <math>P \veebar Q</math> ，读作'''<math>P</math> 异或 <math>Q</math>'''('''<math>P</math> xor <math>Q</math>''') 或 '''<math>P</math> 互斥析取 <math>Q</math>'''。
{{CharMetaInfo
|char=&#x21AE;
|unicodeCodePoint={{UnicodeCodePoint|U+21AE|Left Right Arrow with Stroke}}
|latex=\nleftrightarrow
}}
{{CharMetaInfo
|char=&#x2295;
|unicodeCodePoint={{UnicodeCodePoint|U+2295|Circled Plus}}
|latex=\oplus
}}
{{CharMetaInfo
|char=&#x22BB;
|unicodeCodePoint={{UnicodeCodePoint|U+22BB|XOR}}
|latex=\veebar
}}

{{GiteaSvg|venn_graph/sym_diff}}

互斥析取不像五个常用逻辑联结词有约定俗成的规则，这三个符号都有出现情况。中文语境中一般使用 <math>\oplus</math> 。
互斥析取的其他记号有 <math>+</math> （因为可以看作[[模 n 剩余类环|模 2 剩余类群]]加法）和 <math>\dot\vee</math> 。

=== 真值表 ===

{| class="wikitable" style="text-align:center;border-width:2px;margin: 0 auto"
|+ <math>\nleftrightarrow</math> 的真值表
|-
! scope="col" style="width:33%;border-bottom-width:2px" | <math>p</math>
! scope="col" style="width:33%;border-bottom-width:2px" | <math>q</math>
! scope="col" style="width:34%;border-bottom-width:2px" | <math>p \nleftrightarrow q</math>
|-
| {{True}}
| {{True}}
| {{False}}
|-
| {{True}}
| {{False}}
| {{True}}
|-
| {{False}}
| {{True}}
| {{True}}
|-
| {{False}}
| {{False}}
| {{False}}
|}

== 性质 ==

* 等价表示
** 是[[等价（逻辑）|等价]]的否定：对任意命题 <math>P</math> 和 <math>Q</math> ， <math>P\nleftrightarrow Q = \lnot(P\leftrightarrow Q)</math> 。
** 表达为[[否定]]、[[合取]]、[[析取]]的组合：对任意命题 <math>P</math> 和 <math>Q</math> ， <math>P\nleftrightarrow Q = (P \lor Q) \land \lnot(P \land Q) = (P\land \lnot Q) \lor (\lnot P \land Q)</math> 。
* 运算性质
** [[结合律]]：对任意命题 <math>P</math> 、 <math>Q</math> 和 <math>R</math>，有 <math>(P \nleftrightarrow Q) \nleftrightarrow R = P \nleftrightarrow (Q \nleftrightarrow R)</math> 。
** [[交换律]]：对任意命题 <math>P</math> 和 <math>Q</math> ，有 <math>P \nleftrightarrow Q = Q \nleftrightarrow P</math> 。
** 特殊值
*** <math>P \nleftrightarrow \mathrm{F} = P</math> 。
*** <math>P \nleftrightarrow \mathrm{T} = \lnot P</math> 。
** 每个元素都是二阶元、是自身的逆元：对任意命题 <math>P</math> ， <math>P\nleftrightarrow P=\mathrm{F}</math> 。
*** 是自身的逆运算：对于任意命题 <math>P</math> 和 <math>Q</math> ，有 <math>(P \nleftrightarrow Q) \nleftrightarrow Q  = P</math> 。

== 不同逻辑系统中的互斥析取 ==

以上为经典逻辑中的互斥析取：是真值函数的，完全由真值表定义。
* 多值逻辑、模糊逻辑中，真值的取值可能性更多，互斥析取可能有更复杂的定义方式，但通常保持“两个值不同时为真”的核心概念。

<blockquote>
自然语言中，“或”等都可能表达互斥析取的逻辑关系，且语境中可能限制两个不能同时选择。
分句间常见的表示互斥析取的连词包括“要么……要么……”“或者……或者……”“不是……就是……”等，这几个说法一般都暗示两个选项不能同时选择。
</blockquote>

== 多元互斥析取 ==

对命题 <math>P_1, P_2, \dots , P_n</math> ，由“这些命题中奇数个为真”所对应的命题，记作 <math>P_1 \oplus P_2 \oplus \dots \oplus P_n</math> 。也记作 <math>\bigoplus_{i=1}^n P_i = P_1 \oplus P_2 \oplus \dots \oplus P_n</math> 。

在此基础上， 1 个命题的互斥析取定义为命题自身， 0 个命题的互斥析取定义为假。

多个命题的互斥析取也可以等价地定义为这些命题两两进行互斥析取，由于满足结合律、交换律而顺序无关，也不需要区分二元运算和多元运算。这是基于结合律成立产生定义。

多元互斥析取通常只能定义在有限个命题上。

注： <math>\nleftrightarrow</math> 记号虽然在二元运算上更标准，但由于连续使用时 <math>\nleftrightarrow</math> 不如 <math>\oplus</math> 美观，且不便于使用大记号，多元运算中一般使用 <math>\oplus</math> 。

=== 多元严格互斥 ===

多元的排斥或，定义为“这些命题中恰有一个为真”，这种定义在逻辑学中较少见，没有约定俗成的名称指代或符号表示。


{{命题逻辑}}
{{逻辑联结词}}

== 琐事 ==

=== 名称 ===

“异或”的名字应当如下理解：
它首先是“或”的一种。
日常用语的“或”有两种：至少一个、恰好一个；前者在术语中更常用，直接称为“或”，于是后者只好称为“异或”。<ref>[https://www.zhihu.com/question/31116687 如何理解「异或」的含义？ - 知乎]</ref>
一说其含义为表达“相异”的“或”，这种说法虽然更常见，但无法解释仍保留“或”字而不是与主要联结词一样被缩减到一个字。

异或经常缩写为“XOR”，是 e'''x'''clusive '''or''' 的缩写，读 {{IPA|[̩ɛksˈɔː]}} 或 {{IPA|[ksɔː]}} 。也曾有过 EOR 和 EXOR 的写法，但现在很少见。<ref>[https://en.wikipedia.org/wiki/Exclusive_or Exclusive or - Wikipedia]</ref>