逻辑NAND

逻辑NAND（“Not And”）是对两个逻辑值（通常是两个命题的值）的操作，它产生的值为假当且仅当它的两个操作数都为真。换句话说，它产生的值为真的当且仅当其至少一个操作数为假。

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

${\显示样式p~{\bar{\卷曲边}}~q}$
${\显示样式p\barwedge q}$
${\显示样式p\uparrow q}$

A类真理表对于 ${\显示样式p~{\bar{\卷曲边}}~q}$ 显示如下：

$｛\displaystyle｛\text｛逻辑NAND｝｝｝$
${\显示样式p}$	${\显示样式q}$	${\显示样式p~{\bar{\卷曲边}}~q}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$	$｛\displaystyle\mathrm｛T｝｝$
${\显示样式\mathrm{T}}$	$｛\displaystyle\mathrm｛F｝｝$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$

A类逻辑图对于 ${\显示样式p~{\bar{\卷曲边}}~q}$ 绘制为附在根边的自由节点上的两个字母：

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