Tier V — Baccalaureate

Change of Quantifier

Four equivalences that move a negation across a quantifier, and De Morgan one level up