De Morgan's Laws (Logic)

The Intuitionist Perspective
Note that this:

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

None of the others:

is reversible in intuitionistic logic.

Also see

 * De Morgan's Laws in the context of set theory.