Negation (boolean algebra)

Also called the logical not or the logical complement, is an operation on a logic statement that returns true if the statement is false and false if the statement is true.

Notation

There are various notations reflecting negation.

Notation	Notes
$\text{not }A$
$\neg A$	This is the most common way within logic. Read as “not A”
$\sim A$	Read as “not A”.
$A^{\prime }$	Read as “complement of A” or “A prime”
$\bar{A}$	Read as “A bar”
$!A$	This is commonly used within programming languages