Negation

boolean-algebra logic

Definition

Negation

The negation is a unary logical connective. For a formula $A$, the formula $\neg A$ is true exactly when $A$ is false, and false exactly when $A$ is true.

Truth Table

$A$	$\neg A$
0	1
1	0

Circuit Notation

IEC 60617-12

US ANSI 91-1984