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