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