NOT

Subtype of Boolean Operation

Applies only in a context where there is exactly one input boolean variable.
It then specifies a transformation of the input boolean variable that equals its negation.
Formally:
x → !x
In words:
It produces an output of TRUE if the input is FALSE and vice versa.