De Morgan's Rules
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
~(p · q) :: ~p ∨ ~q, and ~(p ∨ q) :: ~p · ~q.
Show
"Not both passed" means at least one failed. "Neither passed" means both failed.
Watch for
The negation distributes and flips the connective. Forgetting the flip is the unit's most common error — and video 118's warning, formalized.