独占析取

独占析取，也称为逻辑不等式或对称差，是对两个逻辑值（通常是两个命题的值）的操作，它产生的值为真的以防它的一个操作数为真。

命题的互斥析取 ${\显示样式p}$ 和 ${\显示样式q}$ 可以用不同的方式书写。其中最常见的是：

${\显示样式p~\mathrm{xor}~q}$
${\显示样式p~\Delta~q}$
${\显示样式p\neq}$
${\显示样式p+q}$

A类真值表对于 ${\显示样式p+q}$ 显示如下：

${\显示样式{\text{独占析取}}}$
${\显示样式p}$	${\显示样式q}$	${\显示样式p+q}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$

两个变量的互斥析取属于最小否定运算符因此，我们有以下等价物：

${\显示样式p+q}$
${\显示样式\nu（p，q）}$
${\显示样式{\texttt{（}}p{\textt{，}}q{\textt1{）}}$

A类逻辑图对于 ${\显示样式p+q}$ 如下所示：

此图的遍历字符串为 ${\显示样式{\texttt{（}}p{\textt{，}}q{\textt1{）}}.}$ 这个提议 ${\显示样式p+q}$ 可以视为布尔函数 ${\显示样式f（p，q）}$ 具有抽象类型 ${\显示样式f:\mathbb{B}\times\mathbb{B}\to\mathbb2{B}，}$ 哪里 ${\显示样式\mathbb{B}=\{0,1\}}$ 被解释为 ${\显示样式0}$ 方法 ${\显示样式\mathrm{false}}$ 和 ${\显示样式1}$ 方法 ${\显示样式\mathrm{true}.}$