Distribution
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
p · (q ∨ r) :: (p · q) ∨ (p · r), and p ∨ (q · r) :: (p ∨ q) · (p ∨ r).
Show
The outer connective multiplies through, algebra-style.
Watch for
The most error-prone replacement rule. Write it out; never do Distribution in your head.
Builds on
Unlocks
- Nothing yet depends on this.