De Morgan's Laws

A negation crossing a conjunction or a disjunction flips the connective it crosses