Manuals/calci/NOT

NOT(l)

NOT (Logic)

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

NOT(), reverses the logic of its argument.

Description

NOT (Logic)

For Example,

NOT(TRUE) returns FALSE

NOT(2+3<4) returns TRUE

• This function displays the output as TRUE or FALSE.
• $Logic$ can be a value or expression that evaluates as TRUE(logical 1) or FALSE(logical 0).
• If $Logic$ evaluates TRUE(or 1), calci returns reverse output as FALSE.
• If $Logic$ evaluates FALSE(or 0), calci returns reverse output as TRUE.
• If $Logic$ > 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