Negation
Syntax
NOT …bool-expr…
Typing
BOOL -> BOOL
Description
boolean negation.
Examples
expression
evaluates to
NOT TRUE
FALSE
NOT (0 > 1)
TRUE