逻辑相等

逻辑相等是对两个逻辑值（通常是两个命题的值）的操作，它产生的值为真的当且仅当两个操作数都为false或两个操作数都为true时。

命题的逻辑等式 $｛\displaystyle p｝$ 和 ${\显示样式q}$ 可以用不同的方式书写。其中最常见的是：

${\显示样式p\左右箭头q}$
$｛\displaystyle p\equiv q｝$
${\显示样式p=q}$

一个真理表对于 ${\显示样式p=q}$ 显示如下：

${\显示样式{\text{逻辑等式}}}$
$｛\displaystyle p｝$	${\显示样式q}$	${\显示样式p=q}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$
$｛\displaystyle\mathrm｛T｝｝$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$

一个逻辑图对于 ${\显示样式p=q}$ 如下所示：

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