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 tableExpression1 | 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 |