Category:OCL Boolean Operators: Difference between revisions

OCL Boolean Operators

Revision as of 07:47, 21 April 2023

This page was created by Stephanie@mdriven.net on 2023-04-20. Last edited by Stephanie@mdriven.net on 2025-03-07.

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

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

@@ Line 1: / Line 1: @@
 Boolean operators are used to express logical relationships between expressions or constraints.
+== 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
+|}
+|}