Function
LOGNOT
The term {tt (lognot $tau$)} denotes the bit-wise logical not of the object denoted by $tau$.
Arity
:
2
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp