Name:
||
boolean OR operator
Library name:
sollya_obj_t sollya_lib_or(sollya_obj_t, sollya_obj_t)
Usage:
expr1 || expr2 : (boolean, boolean) -> boolean
Parameters:
- expr1 and expr2 represent boolean expressions
Description:
- || evaluates to the boolean OR of the two
boolean expressions expr1 and expr2. || evaluates to
true iff at least one of expr1 or expr2 evaluates to true.
Example 1:
> false || false;
false
Example 2:
> (1 == exp(0)) || (0 == log(1));
true
Go back to the list of commands