Name:

&& boolean AND operator

Library name:

sollya_obj_t sollya_lib_and(sollya_obj_t, sollya_obj_t)

Usage:

expr1 && expr2 : (boolean, boolean) -> boolean

Parameters:

Description:

Example 1:

   > true && false;
   false

Example 2:

   > (1 == exp(0)) && (0 == log(1));
   true
See also: ||, !
Go back to the list of commands