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