Experiment 13 - The Double Negation Law

The Double Negation Law, often also called involution law, states, that a two-fold application of the NOT operation cancels itself out.

This law corresponds with the double negation in the classic logic...a double negated statement is equivalent to the non-negated statement...

The double negation law reads...

$$\neg(\neg A) = A$$

Logical diagram double negation law.

Logic circuit double negation law. (Enlarge)