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

REFERENCES:

Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, pp. 7 and 10, 1958.

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 12, 1997.

Simpson, R. E. "The NOT Gate." §12.5.3 in Introductory Electronics for Scientists and Engineers, 2nd ed. Boston, MA: Allyn and Bacon, pp. 546-547, 1987.