Exclusive "Or"
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.