¬ (not sign)
The logical negation operator.
Syntax
-
¬p
-
p
is a boolean
-
Description
¬
is the logical negation operator. It has the following truth table:
p | ¬p |
---|---|
false | true |
true | true |
¬
is a prefix unary operator implemented by the not
function.
See also
-
Logical operators (list)