Exercises — Independence and mutual exclusivity
This page is a graded ladder. Each rung asks more of you than the last. Do the problem first (pen and paper), then open the collapsible solution. Every symbol used here was built in the parent note Independence and mutual exclusivity — if a piece feels shaky, revisit 1.3.01-Basic-probability-concepts, 1.3.02-Conditional-probability, or 1.3.03-Bayes-theorem before continuing.

The picture above is your compass for the whole page: two circles inside the box of all outcomes (the sample space). Look at the left panel: the magenta circle and violet circle touch nowhere — that empty gap between them is what looks like, so these events are mutually exclusive. Now the right panel: the circles do overlap, and when that shared lens area equals the product , the events are independent. Keep flicking your eye between the two panels — they are different pictures, and for non-trivial events they are never the same one. Every exercise below is really just asking "which panel am I in?".
Level 1 — Recognition
Goal: read a scenario and name which property (if any) holds, straight from the definitions.
Exercise 1.1
A fair six-sided die is rolled once. Let "roll an even number" and "roll a 3". Are and mutually exclusive? Are they independent?
Recall Solution 1.1
List the outcomes. The sample space is , each with probability .
- , so .
- , so .
Mutually exclusive? (WHAT: find .) The overlap is outcomes that are both even and equal to 3. There are none — 3 is odd. So . This is the left panel of the figure — no overlap. Yes, mutually exclusive.
Independent? (WHAT: compare to .) Not independent. (As the parent note proved: non-trivial mutually exclusive events can never be independent.)
Exercise 1.2
Two fair coins are flipped. "first coin is heads", "second coin is heads". Mutually exclusive? Independent?
Recall Solution 1.2
Sample space: , each probability .
- , .
- , .
- , .
Mutually exclusive? . No — both coins can be heads. This is the right panel: the circles overlap. Independent? . Yes. The flips are separate physical processes; one tells you nothing about the other.
Level 2 — Application
Goal: use the multiplication and union rules to get numbers.
Exercise 2.1
A card is drawn from a standard 52-card deck, replaced, the deck reshuffled, and a second card drawn. Let "first card is an ace", "second card is a King". Find .
Recall Solution 2.1
WHY independence applies: replacement puts the deck back to 52 cards, so the second draw's probabilities are unchanged by the first. The two draws are independent.
- (4 aces).
- (4 Kings).
By the independence multiplication rule:
Exercise 2.2
On a single die roll, "roll a 1", "roll a 2", "roll a 3". All are pairwise mutually exclusive. Find .
Recall Solution 2.2
WHY the simple sum works: for mutually exclusive events, every pairwise overlap is (the left panel picture), so the union formula loses all subtraction terms and collapses to plain addition.
Exercise 2.3
Two fair dice are rolled. "first die shows 4", "second die shows 4". Find ("at least one die shows a 4").
Recall Solution 2.3
These are independent (separate dice), not mutually exclusive — outcome is in both. This is the right panel: the circles overlap.
- , .
- .
Use the full union formula (WHY: overlap is non-zero, so we must subtract it once):
Level 3 — Analysis
Goal: probe why a relationship holds by testing, not by intuition.
Exercise 3.1
Two fair dice are rolled. "first die shows 4", "the sum is 8". Determine whether and are independent, and quantify how much knowing changes the belief in .
Recall Solution 3.1
Enumerate.
- .
- Sums to 8: → .
- : first die is 4 and sum is 8 → only → .
Independence test: while . Since , not independent.
Quantify the information gain: versus the prior . Knowing the first die is 4 raises the sum-is-8 belief from to . Non-zero change ⇒ dependence confirmed.
Exercise 3.2
Same two dice. "first die shows 4", "the sum is 7". Are and independent?
Recall Solution 3.2
- .
- Sums to 7: → .
- : first die 4 and sum 7 → only → .
Test: . Independent!
WHY this differs from 3.1: a sum of 7 is reachable from every first-die value (there is always exactly one matching second die). So learning the first die never tips the odds of "sum = 7". A sum of 8 has no partner for a first die of 1, so it is not reachable uniformly — hence dependence. Same dice, opposite verdicts, decided purely by the arithmetic.
Level 4 — Synthesis
Goal: combine conditional probability, Bayes, and independence into one chain.
Exercise 4.1 (Conditional independence)
A patient either has the flu (, with ) or not. Given flu, the chance of coughing is and of fever is ; given no flu, and . Assume cough and fever are conditionally independent given flu status. A patient has both cough and fever. Find .
Recall Solution 4.1
Step 1 — WHY conditional independence helps. It lets us split a joint conditional into a product: (This is the Naive-Bayes trick from 3.1.01-Naive-Bayes-classifier — see also 5.2.03-Probabilistic-graphical-models.)
Step 2 — likelihoods.
- With flu: .
- Without flu: .
Step 3 — Bayes' theorem (from 1.3.03-Bayes-theorem). Let . WHY this denominator? The patient is definitely in exactly one of two worlds — flu or no-flu — and these two cases are mutually exclusive and exhaustive. So the total probability of seeing the evidence is the evidence-weight from the flu world plus the evidence-weight from the no-flu world. That sum is precisely the denominator: it re-normalizes the numerator into a genuine probability by dividing by "all the ways could have happened". Numerator: . Denominator: . So seeing both symptoms lifts flu belief from a prior to about .
Exercise 4.2
Show that if and are independent, then and (the complement of , i.e. " does not happen") are also independent.
Recall Solution 4.2
WHAT we want: . Step 1 — split . Every outcome in either lands in or in , and these are exclusive, so Step 2 — solve for the piece we want. Step 3 — factor. since . This is exactly the independence definition for and . Takeaway: " ignores " automatically means " ignores not-".
Level 5 — Mastery
Goal: build a counterexample and reason about the boundary between the two concepts.
Exercise 5.1 (Pairwise vs. mutual independence)
A fair coin is flipped twice. Define:
- "first flip is heads",
- "second flip is heads",
- "the two flips match (both H or both T)".
Show that are pairwise independent but not mutually independent.
Recall Solution 5.1
Sample space , each .
- , , . Each has probability .
Pairwise checks:
- : . ✓
- : . ✓
- : . ✓ All three pairs are independent.
Mutual (triple) check: but . Since , not mutually independent.
WHY: once you know and , you already know (if both heads, they match). So carries no fresh randomness given the other two — a hidden dependence invisible to any single pair.
Exercise 5.2 (Boundary reasoning)
Suppose and satisfy both (mutually exclusive) and (independent). What must be true of and ? Interpret.
Recall Solution 5.2
Setting the two conditions equal: . A product is zero only if a factor is zero, so Interpretation: the only way an event pair can be simultaneously mutually exclusive and independent is if at least one event is effectively impossible (probability ). For any two "real" events with positive probability, the two properties are mutually incompatible — precisely the "opposites" claim from the parent note, now proved as a hard boundary.
Recall Self-test recap (one line each)
Non-trivial mutually exclusive events can be independent? ::: No — for positive-probability events the two are incompatible (Ex 5.2). when overlap? ::: ; subtract the overlap once (Ex 2.3). What unlocks the product in Naive Bayes? ::: Conditional independence given the class (Ex 4.1). Does pairwise independence imply mutual independence? ::: No — see the coin-match counterexample (Ex 5.1).