Boolean conditions
A boolean condition determines whether a boolean literal is true or false.
- boolean-literal-1
- Evaluates to true if it is B'1', and evaluates to false if it
is B'0'.
The condition NOT boolean-literal-1 evaluates to the reverse truth-value of boolean-literal-1.