Category:OCL Boolean Operators: Difference between revisions

OCL Boolean Operators

Latest revision as of 08:41, 3 May 2023

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	True	False	Invalid
True	true	false	invalid
False	true	true	true
Invalid	true	invalid	invalid

Or	True	False	Invalid
True	true	true	true
False	true	false	invalid
Invalid	true	invalid	invalid

Not

Xor

Xor	True	False	Invalid
True	false	true	invalid
False	true	false	invalid
Invalid	invalid	invalid	invalid

This page was edited more than 1 years ago on 05/03/2023. What links here

The following 9 pages are in this category, out of 9 total.

@@ Line 1: / Line 1: @@
 Boolean operators are used to express logical relationships between expressions or constraints.
+See also: [[OCL Precedence rules]]
+== Boolean Operators ==
+{| class="wikitable"
+!Operators
+!Description
+|-
+|[[OCLOperators And|'''And''']]
+|
+{| class="wikitable"
+!And
+!True
+!False
+!Invalid
+|-
+!True
+|true
+|false
+|true
+|-
+!False
+|false
+|false
+|false
+|-
+!Invalid
+|invalid
+|false
+|invalid
+|}
+|-
+|[[OCLOperators Implies|'''Implies''']]
+|
+{| class="wikitable"
+!Implies
+!True
+!False
+!Invalid
+|-
+!True
+|true
+|false
+|invalid
+|-
+!False
+|true
+|true
+|true
+|-
+!Invalid
+|true
+|invalid
+|invalid
+|}
+|-
+|[[OCLOperators Or|'''Or''']]
+|
+{| class="wikitable"
+!Or
+!True
+!False
+!Invalid
+|-
+!True
+|true
+|true
+|true
+|-
+!False
+|true
+|false
+|invalid
+|-
+!Invalid
+|true
+|invalid
+|invalid
+|}
+|-
+|[[OCLOperators Not|'''Not''']]
+|
+{| class="wikitable"
+!Not
+!Result
+|-
+!True
+|false
+|-
+!False
+|true
+|-
+!Invalid
+|invalid
+|}
+|-
+|[[OCLOperators Xor|'''Xor''']]
+|
+{| class="wikitable"
+!Xor
+!True
+!False
+!Invalid
+|-
+!True
+|false
+|true
+|invalid
+|-
+!False
+|true
+|false
+|invalid
+|-
+!Invalid
+|invalid
+|invalid
+|invalid
+|}
+|}
+See also: https://wiki.mdriven.net/index.php/OCLOperators