OCL Boolean Operators
This page was created by Stephanie on 2025-03-07. Last edited by Stephanie on 2025-03-18.
Boolean operators are used to express logical relationships between expressions or constraints.
| Operators
|
Description
|
| And
|
| And
|
True
|
False
|
Invalid
|
| True
|
true
|
false
|
true
|
| False
|
false
|
false
|
false
|
| Invalid
|
invalid
|
false
|
invalid
|
|
| Implies
|
| Implies
|
True
|
False
|
Invalid
|
| True
|
true
|
false
|
invalid
|
| False
|
true
|
true
|
true
|
| Invalid
|
true
|
invalid
|
invalid
|
|
| Or
|
| Or
|
True
|
False
|
Invalid
|
| True
|
true
|
true
|
true
|
| False
|
true
|
false
|
invalid
|
| Invalid
|
true
|
invalid
|
invalid
|
|
| Not
|
| Not
|
Result
|
| True
|
false
|
| False
|
true
|
| Invalid
|
invalid
|
|
| Xor
|
| Xor
|
True
|
False
|
Invalid
|
| True
|
false
|
true
|
invalid
|
| False
|
true
|
false
|
invalid
|
| Invalid
|
invalid
|
invalid
|
invalid
|
|
See also: OCLOperators
