Not

!expr

is the logical NOT function. It gives False if expr is True, and True if it is False.

Details

  • Not[expr] can be input in StandardForm and InputForm as ¬expr. The character ¬ can be entered as !, not, or ∖[Not]. »
  • Not gives symbolic results when necessary, applying various simplification rules to them.
  • If you are using the Wolfram System with a text‐based front end, then you cannot use the notation !expr for Not[expr] if it appears at the very beginning of a line. In this case, !expr is interpreted as a shell escape. »

Examples

open allclose all

Basic Examples  (3)

Negate assertions:

In[1]:=
Click for copyable input
Out[1]=

Symbolic negation:

In[1]:=
Click for copyable input
Out[1]=

Enter using not:

In[1]:=
Click for copyable input
Out[1]=

Scope  (4)

Applications  (2)

Properties & Relations  (4)

Possible Issues  (1)

See Also

BooleanConvert  LogicalExpand  BitNot  Nand  Nor

Tutorials

Introduced in 1988
(1.0)
| Updated in 1996
(3.0)