Implies is a shortcut for (not <Expression1>) or <Expression2>.
| <Expression1> implies <Expression2>
|
| Expressions |
|
Expression1 |
First expression that returns a Boolean value. |
| Boolean |
Expression2 |
Second expression that returns a Boolean value. |
| Return value |
Boolean |
|
Value table| Expression1 | Expression2 | Result |
|---|
| true | true | true | | true | false | false | | false | true | true | | false | false | true |
|

Examples
| Formula |
Result |
| = true implies false |
false |
| = false implies null |
true |
| = true implies null |
null |
| = true implies error('Hello World') |
error |
| = error('Hello World') implies true |
true |
| = false implies error('Hello World') |
true |
| = error('Hello World') implies false |
error |
| = null implies error('Hello World') |
error |
| = error('Hello World') implies null |
error |