Manuals/calci/NOT

NOT (Logic)

• where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Logic} evaluates TRUE(or 1), calci returns reverse output as FALSE.
• If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Logic} evaluates FALSE(or 0), calci returns reverse output as TRUE.
• If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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