在逻辑中,一种连接词,将真 (true) 转换为假 (false),并将假 (false) 转换为真 (true)。非 (NOT) 的符号表示为 , , (Simpson 1987, p. 537) 或 (Carnap 1958, p. 7; Mendelson 1997, p. 12)。非 (NOT) 运算在 Wolfram 语言中实现为Not[A],或 !A。上面展示了非 (NOT) 门电路图符号。
非 (NOT) 运算具有以下真值表 (Carnap 1958, p. 10; Simpson 1987, p. 546; Mendelson 1997, p. 12)。
真 (T) | 假 (F) |
假 (F) | 真 (T) |