邏輯或非

在布爾邏輯運算中，邏輯或非（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)}}}}$