Manuals/calci/BITNOT

BITNOT(n1)

• where $n1$ specifies the numeric value on which the bitwise NOT operation is performed.

Description

• BITNOT() returns the result of a bitwise NOT operation performed on a numeric value.
• $n1$ specifies the numeric value. If $n1$ is not an integer, it is converted to an integer before its bits are shifted.
• The numeric value returned by BITNOT( ) represents $n1$ with each bit of value 0 switched to 1 and each bit of value 1 switched to 0.

For Example,

BITNOT(1) = -2 (Bit Not value of 'binary value 01' is '10' i.e -2.)

BITNOT(FALSE) = -1 (Bit Not value of 'binary value 00' is '11' i.e -1.)

Examples

1. =BITNOT(TRUE) = -2
2. =BITNOT(42) = -43
3. =BITNOT((2+7)>8) = -2
4. =BITNOT(0.5) = -1
5. =BITNOT("d")= -1

Related Videos

NOT

See Also

• BITOR
• BITAND

References

• Bitwise Operation

• List of Main Z Functions

• Z3 home