Algosim documentation: ¬

¬ (not sign)

The logical negation operator.

Syntax

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