逻辑中的一个谓词,等价于 NOT OR 的组合,如果任何条件为真,则结果为假,如果所有条件为假,则结果为真。 NOR 等价于 ,其中 表示 NOT, 表示 OR。在命题演算中,术语联合否定用于指代 NOR 连接词。NOR 的符号包括 和 (Mendelson 1997,第 26 页)。NOR 运算的实现方式为Nor[A, B, ...]。NOR 门的电路图符号如上所示。
二元 NOR 运算符具有以下真值表(Simpson 1987,第 547 页;Mendelson 1997,第 26 页)。
真 | 真 | 假 |
真 | 假 | 假 |
假 | 真 | 假 |
假 | 假 | 真 |