An connective in logic which converts true to false and false to true. NOT is denoted
,
,
(Simpson 1987, p. 537) or
(Carnap 1958, p. 7; Mendelson 1997, p. 12).
The NOT operation is implemented in the Wolfram
Language as Not[A],
or !A. The circuit diagram symbol for a NOT gate is illustrated above.
The NOT operation has the following truth table (Carnap 1958, p. 10; Simpson 1987, p. 546; Mendelson 1997, p. 12).
T | F |
F | T |