逻辑NNOR

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

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

${\显示样式p\卷曲边q}$
${\显示样式p~{\bar{\lor}}~q}$
${\显示样式p\向下箭头q}$

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

${\显示样式{\text{逻辑NNOR}}}$
${\显示样式p}$	${\显示样式q}$	${\显示样式p\卷曲边q}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$
${\显示样式\mathrm{F}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$	${\显示样式\mathrm{F}}$
${\显示样式\mathrm{T}}$	${\显示样式\mathrm{T}}$	${\显示样式\mathrm{F}}$

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

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