Negator (logic)

from Wikipedia, the free encyclopedia

In logic, negator (also: negation operator ) is the junction of the negation or the symbol (sign) for it.

The following symbols are used: