the operand (type BOOL ) [...] the operand (type BOOL ) [...] The result ( BOOL )
have the data type BOOL .