Nachfolgend betrachten wir die logische Operation „Negation“:

Die Negation kehrt einen Wahrheitswert ins Gegenteil.

Wahrheitstafel:

A ¬A
1 0
0 1

Beispiel: A: x ist gerade.

¬A: x ist nicht gerade (also ungerade).

Die doppelte Verneinung führt auf den ursprünglichen Wert zurück: ¬(¬A) = A