Boolean-operations
Boolean operations [SD: Types: Booleans].
Since here we are formalizing the boolean operations on values,
we do not capture here the short-circuiting of && and || here.
That is captured when formalizing the evaluation of expressions.
Subtopics
- Bool-or
- Logical disjunction of boolean values.
- Bool-ne
- Inequality of boolean values.
- Bool-eq
- Equality of boolean values.
- Bool-and
- Logical conjunction of boolean values.
- Bool-not
- Logical negation of boolean values.
