Double Negation

Combined Double Negation Law
These are often combined into one law:

Also see

 * Double Negation Elimination implies Law of Excluded Middle