Logic 101 (#37): Killer Proof Strategy #1 (DeMorgan’s Everything!)
29.1K views on YouTube
If you are stuck on a proof, try applying DeMorgan’s rule wherever you can. It turns disjunctions into conjunctions, which can give you many simpler statements to work with.