逻辑或

逻辑或，也称为逻辑交替，是对两个逻辑值（通常是两个命题的值）的操作，它产生的值为假当且仅当它的两个操作数都为false时。

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

${\显示样式p~\mathrm{或}~q}$
${\显示样式p\lor q}$

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

${\显示样式{\text{逻辑析取}}}$
${\显示样式p}$	${\显示样式q}$	${\显示样式p\lor q}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$	$｛\displaystyle\mathrm｛F｝｝$
$｛\displaystyle\mathrm｛F｝｝$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$

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

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