NOT
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 |
Contact the MathWorld Team
AND