Difference between revisions of "Manuals/calci/NOT"
Jump to navigation
Jump to search
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | =NOT( | + | <div style="font-size:30px">'''NOT (Logic)'''</div><br/> |
| − | + | *where <math>Logic</math> is a logical value or expression to be evaluated. | |
| − | *where <math> | + | **NOT(), reverses the logic of its argument. |
| − | |||
| − | NOT() | ||
== Description == | == Description == | ||
| − | NOT( | + | NOT (Logic) |
For Example, | For Example, | ||
| Line 16: | Line 14: | ||
*This function displays the output as TRUE or FALSE. | *This function displays the output as TRUE or FALSE. | ||
| − | *<math> | + | *<math>Logic</math> can be a value or expression that evaluates as TRUE(logical 1) or FALSE(logical 0). |
| − | *If <math> | + | *If <math>Logic</math> evaluates TRUE(or 1), calci returns reverse output as FALSE. |
| − | *If <math> | + | *If <math>Logic</math> evaluates FALSE(or 0), calci returns reverse output as TRUE. |
| − | *If <math> | + | *If <math>Logic</math> > 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. | *If argument is omitted, Calci assumes it to be zero (0) and returns TRUE as output. | ||
| Line 56: | Line 54: | ||
*[[Manuals/calci/OR | OR]] | *[[Manuals/calci/OR | OR]] | ||
*[[Manuals/calci/AND | AND]] | *[[Manuals/calci/AND | AND]] | ||
| − | |||
| − | |||
==References== | ==References== | ||
*[http://en.wikipedia.org/wiki/Bitwise_operation Bitwise Operation] | *[http://en.wikipedia.org/wiki/Bitwise_operation Bitwise Operation] | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | *[[Z_API_Functions | List of Main Z Functions]] | ||
| + | |||
| + | *[[ Z3 | Z3 home ]] | ||
Latest revision as of 13:43, 24 August 2018
NOT (Logic)
- where is a logical value or expression to be evaluated.
- NOT(), reverses the logic of its argument.
is a logical value or expression to be evaluated.
Description
NOT (Logic)
For Example,
NOT(TRUE) returns FALSE
NOT(2+3<4) returns TRUE
- This function displays the output as TRUE or FALSE.
- can be a value or expression that evaluates as TRUE(logical 1) or FALSE(logical 0).
- If evaluates TRUE(or 1), calci returns reverse output as FALSE.
- If evaluates FALSE(or 0), calci returns reverse output as TRUE.
- If > 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
See Also
References