逻辑或非

在布尔逻辑运算中，逻辑或非（NOR）的结果是逻辑或的反面。也就是说，p NOR q真，当且仅当p与q都假时才成立。

逻辑或非是对于命题之间的运算，两个参数均假时结果才真；反之，两个参数中至少有一个为真时，结构就为假。

真值表

逻辑或非的真值表如下：

逻辑或非的韦恩图如下：

一种表示p NOR q的方法是 ${\overline {p\lor q}}$ ，其中符号 $\lor$ 是逻辑或的符号。

逻辑或非拥有一独特的性质，即其他所有逻辑运算均可用逻辑或非的函数来表达：

"非p"等价于"p NOR p"	$\lnot p\equiv {\overline {p\lor p}}$
"p与q"等价于"(p NOR p)NOR(q NOR q)"	$p\land q\equiv {\overline {{\overline {(p\lor p)}}\lor {\overline {(q\lor q)}}}}$
"p或q"等价于"(p NOR q)NOR(p NOR q)"	$p\lor q\equiv {\overline {{\overline {(p\lor q)}}\lor {\overline {(p\lor q)}}}}$
"p能推出q"等价于"((p NOR p)NOR q) NOR((p NOR p) NOR q)"	$p\rightarrow q\equiv {\overline {{\overline {({\overline {(p\lor p)}}\lor q)}}\lor {\overline {({\overline {(p\lor p)}}\lor q)}}}}$

查论编逻辑联结词
恒真（ $\top$ ）
与非（ $\uparrow$ ）反蕴涵（ $\leftarrow$ ）蕴涵（ $\rightarrow$ ）或（ $\lor$ ）
非（ $\neg$ ）异或（ $\oplus$ ）双条件（ $\leftrightarrow$ ）命题
或非（ $\downarrow$ ）非蕴涵（ $\nrightarrow$ ）反非蕴涵（ $\nleftarrow$ ）与（ $\land$ ）
恒假（ $\bot$ ）