Logic / Logic 204 · Atom · ~20 seconds
De Morgan's Rules
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.