在邏輯中,一種連線詞,將真 (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) |