Logic / Logic 121 · Atom · ~20 seconds
Exclusive "Or"
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Exclusive "or" — one or the other but not both — is built, not primitive: (p ∨ q) · ~(p · q).
Show
"The entrée comes with soup or salad." Order both and watch the waiter apply exclusion.
Watch for
Symbolize exclusively only when context clearly demands it. When unsure, inclusive.
Builds on
Unlocks
- Nothing yet depends on this.