Killer Proof Strategy #1: DeMorgan’s Everything

This lecture explains why DeMorgan’s is basically the coolest thing ever.

Takeaway Points

  1. As a replacement rule, DeMorgan’s is unique in its ability to simplify statements by removing negations and changing disjunctions into conjunctions.
  2. Conjunctions can then be split into their component parts, giving you more to work with.
  3. Thus, if you have no idea what to do, try seeing what you can DeMorgan’s.

Back to Logic 101