(logic) The Boolean function which is true only if its input is false. Its truth table is:
A | NOT A --+------ F | T T | F