Skip to content

PRO TIP Block youtube.com at the DNS level — Pi-hole, NextDNS or your hosts file — but allow youtube-nocookie.com and i.ytimg.com. These tutorials keep playing; the rabbit hole does not.

Learning without distractions

Logic 101 (#21): Applying Replacement Rules

39.4K views on YouTube

William Spaniel 50 tutorials here

Logic 101

Previously, we have seen how to use replacement rules in isolation. This lecture uses a succession of replacement rules to turn a very ugly statement into a very clean and digestible one.

In the process, we get a flavor of proofs, which will be the main topic two units from now.