在逻辑中,谓词等价于 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)。
真 | 真 | 假 |
真 | 假 | 假 |
假 | 真 | 假 |
假 | 假 | 真 |