De Morgan's Laws (Logic)

Also known as
Some sources refer to these laws as the laws of negation.

The Intuitionist Perspective
Note that this:

can be proved in both directions without resorting to the LEM.

All the others:

are not reversible in intuitionistic logic.