Logical Not

The logical not operator denotes the logical negation of its operand.

Process

At runtime:

1. the operand is evaluated; and
2. the state true maps to false, the state false maps to true, and the resulting state is the not's value.

Assertions

1. The operand's type is bool, and the not's result has type bool.

Syntax

logical_not_operator = bang ;