邏輯或非

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