WARNING

You are currently looking at the documentation of an outdated version of Sollya. To see the current version of the documentation, go here.

Name:

|| boolean OR operator

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

See also: &&, !

Go back to the list of commands