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 |