邏輯中的一個謂詞,等價於 NOT OR 的組合,如果任何條件為真,則結果為假,如果所有條件為假,則結果為真。 NOR
等價於
,其中
表示 NOT,
表示 OR。在命題演算中,術語聯合否定用於指代 NOR 連線詞。NOR 的符號包括
和
(Mendelson 1997,第 26 頁)。NOR 運算的實現方式為Nor[A, B, ...]。NOR 門的電路圖符號如上所示。
二元 NOR 運算子具有以下真值表(Simpson 1987,第 547 頁;Mendelson 1997,第 26 頁)。
| 真 | 真 | 假 |
| 真 | 假 | 假 |
| 假 | 真 | 假 |
| 假 | 假 | 真 |