not -package:skeletest

Boolean "not"
Truth table for not:
a     | not a
------------
True  | False
False | True
Logical negation.
The connective not negates a statement
Uninterpreted logical connective not
Complement a Boolean
Complement bits in range.
Complement bits in range.
Boolean not
A synonym of negate.
An alias for complement.
Boolean not.
Negate all the values in a boolean stream.
Negate a proposition.
Logical negation
Logical negation