逻辑非

逻辑非是对一个逻辑值（通常是命题的值）的操作，它产生的值为真的当其操作数为false且值为假当其操作数为true时。

A类真理表对于 ${\显示样式\mathrm{NOT}~p，}$ 也写了 ${\显示样式\lnot p，}$ 显示如下：

${\显示样式{\text{逻辑否定}}}$
$｛\displaystyle p｝$	${\显示样式\lnot p}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$

命题的否定 $｛\displaystyle p｝$ 在不同的应用环境中，可能会发现有不同的注释方式，通常只是为了方便印刷。这些变体包括以下几种：

${\显示样式{\text{变体符号}}}$
${\显示样式{\text{符号}}}$	${\显示样式{\text{发声}}}$
${\显示样式{\bar{p}}$	$｛\displaystyle p｝$ 酒吧
${\显示样式{\波浪线{p}}$	$｛\displaystyle p｝$ 波浪线
${\显示样式p'}$	$｛\displaystyle p｝$ 首要的 $｛\displaystyle p｝$ 补充
${\显示样式！p}$	发巨响 $｛\displaystyle p｝$

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

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