View source for Category:OCL Boolean Operators

Boolean operators are used to express logical relationships between expressions or constraints.

'''See also:''' [[Documentation:OCL Precedence rules|OCL Precedence rules]]

== Boolean Operators ==
{| class="wikitable"
!Operators
!Description
|-
|'''[[Documentation:OCLOperators And|And]]'''
|
{| class="wikitable"
!And
!True
!False
!Invalid
|-
!True
|true
|false
|true
|-
!False
|false
|false
|false
|-
!Invalid
|invalid
|false
|invalid
|}
|-
|'''[[Documentation:OCLOperators Implies|Implies]]'''
|
{| class="wikitable"
!Implies
!True
!False
!Invalid
|-
!True
|true
|false
|invalid
|-
!False
|true
|true
|true
|-
!Invalid
|true
|invalid
|invalid
|}
|-
|'''[[Documentation:OCLOperators Or|Or]]'''
|
{| class="wikitable"
!Or
!True
!False
!Invalid
|-
!True
|true
|true
|true
|-
!False
|true
|false
|invalid
|-
!Invalid
|true
|invalid
|invalid
|}
|-
|'''[[Documentation:OCLOperators Not|Not]]'''
|
{| class="wikitable"
!Not
!Result
|-
!True
|false
|-
!False
|true
|-
!Invalid
|invalid
|}
|-
|'''[[Documentation:OCLOperators Xor|Xor]]'''
|
{| class="wikitable"
!Xor
!True
!False
!Invalid
|-
!True
|false
|true
|invalid
|-
!False
|true
|false
|invalid
|-
!Invalid
|invalid
|invalid
|invalid
|}
|}

'''See also:''' [[Training:OCLOperators|OCLOperators]]