not
not x
-- yields the negation of x, which must be true or false.
See also
and
and
or
.
