not

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.
A predicate checking if the input does not match the given predicate
>>> Just 2 `shouldSatisfy` P.just (P.not (P.eq 1))
Negate all the values in a boolean stream.
Negate a proposition.
Logical negation