Manuals/calci/NOT

NOT(l)

• where $l$ is a logical value or expression to be evaluated.

NOT() returns a reverse value of the argument, and is used to verify if a value is not equal to a particular value.

Description

NOT(l)

For Example,

NOT(TRUE) returns FALSE

NOT(2+3<4) returns TRUE

• This function displays the output as TRUE or FALSE.
• $l$ can be a value or expression that evaluates as TRUE(logical 1) or FALSE(logical 0).
• If $l$ evaluates TRUE(or 1), calci returns reverse output as FALSE.
• If $l$ evaluates FALSE(or 0), calci returns reverse output as TRUE.
• If $l$ > 0, Calci assumes it to be one (1) and returns FALSE as output.
• If argument is omitted, Calci assumes it to be zero (0) and returns TRUE as output.

Examples

Function	Output
NOT(FALSE)	TRUE
NOT(1)	FALSE
NOT()	TRUE
NOT((2*3)>(3*2))	TRUE

Related Videos

NOT

See Also

• OR
• AND

References

• Bitwise Operation

• List of Main Z Functions

• Z3 home