search for:
not
-- negation
not x
-- yields the negation of x, which must be true or false.
See also:
and
-- conjunction
or
-- disjunction
search for: