Not: Difference between revisions
Content added Content deleted
m (Lowercase title) |
("Remove lowercase again - it is in the template now") |
||
Line 1: | Line 1: | ||
{{lowercase title}} |
|||
{{primitive|~x}} |
{{primitive|~x}} |
||
Revision as of 01:30, 9 July 2022
Not
~x
The not function, generally denoted by ~
, gives the logical negation of an atom in K.
The not primitive is right atomic.
For numbers, returns 0 for nonzero numbers, and 1 if zero. characters also behave as integers.
~1 2 0 0 0 1 ~"sadasd" 0 0 0 0 0 0