Difference between revisions of "Manuals/calci/NOT"
Jump to navigation
Jump to search
(6 intermediate revisions by 3 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 47: | Line 45: | ||
| class="sshl_f" |TRUE | | class="sshl_f" |TRUE | ||
|} | |} | ||
+ | |||
+ | ==Related Videos== | ||
+ | |||
+ | {{#ev:youtube|t8zhPx4kbkE|280|center|NOT}} | ||
==See Also== | ==See Also== | ||
Line 52: | 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.
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