Boolean predicates
Reference documentation for Expressif predicates in the boolean scope.
| Name | Overview |
|---|---|
and | Returns the logical conjunction of the Boolean-converted input and a secondary predicate expression. Null-like and unconvertible values convert to false; zero converts to false; nonzero numbers and recognized true text convert to true. Evaluates the secondary expression only when the converted input is true. |
implies | Returns logical implication from the Boolean input to a secondary Boolean expression. Returns true without evaluating the expression when the input is false. |
is-false | Returns true if the argument is effectively false else return false. |
is-false-or-null | Returns true if the argument is effectively false or null else return false. |
is-identical-to | Returns true if the boolean passed as argument has the same value than the boolean passed as parameter. Returns false otherwise. |
is-true | Returns true if the argument is effectively true else return false. |
is-true-or-null | Returns true if the argument is effectively true or null else return false. |
majority | Returns true when strictly more than half of the supplied predicates are satisfied by the input. Returns false when no predicates are supplied and stops evaluating as soon as the result is known. |
nand | Returns the negation of the logical conjunction of the Boolean input and a secondary Boolean expression. Evaluates the secondary expression only when the input is true. |
nor | Returns the negation of the logical disjunction of the Boolean input and a secondary Boolean expression. Evaluates the secondary expression only when the input is false. |
not | Returns the logical negation of the Boolean-converted input. Null-like and unconvertible values convert to false; zero converts to false; nonzero numbers and recognized true text convert to true. |
or | Returns the logical disjunction of the Boolean-converted input and a secondary predicate expression. Null-like and unconvertible values convert to false; zero converts to false; nonzero numbers and recognized true text convert to true. Evaluates the secondary expression only when the converted input is false. |
satisfies-at-least | Returns true when at least the requested number of supplied predicates are satisfied by the input. The count must be non-negative, and evaluation stops as soon as the result is known. |
satisfies-at-most | Returns true when at most the requested number of supplied predicates are satisfied by the input. The count must be non-negative, and evaluation stops as soon as the result is known. |
satisfies-exactly | Returns true when exactly the requested number of supplied predicates are satisfied by the input. The count must be non-negative, and evaluation stops as soon as the result is known. |
xnor | Returns the negation of the exclusive disjunction of the Boolean input and a secondary Boolean expression. Always evaluates the secondary expression after the input. |
xor | Returns true when exactly one of the Boolean-converted input and a secondary predicate expression evaluates to true. Null-like and unconvertible values convert to false; zero converts to false; nonzero numbers and recognized true text convert to true. Always evaluates the secondary expression. |