Worked examples — Independence and mutual exclusivity
This page is a stress test. The parent Independence and mutual exclusivity note built the ideas; here we throw every kind of situation at those ideas and grind out the answer by hand, so you never meet a case you haven't already seen.
Before we start, three tiny reminders in plain words so nothing is used before it's defined:
The whole topic is two yes/no questions about two regions on that dartboard:
- Mutually exclusive? → Do the regions touch at all? means no overlap.
- Independent? → Does the overlap have exactly the "no-information" size? .

Look at the two dartboards above. On the left the regions are pushed apart — zero overlap — that is mutually exclusive. On the right they overlap by exactly the product of their sizes — that is independent. These two pictures are the whole chapter.
The scenario matrix
Every problem this topic can throw lands in one of these cells. Our job below is to fill every cell with a worked example.
| # | Case class | What makes it tricky | Example that hits it |
|---|---|---|---|
| C1 | Disjoint, both positive | classic "can't both happen" | Ex 1 (die faces) |
| C2 | Independent, overlap positive | both can happen, no info | Ex 2 (two coins) |
| C3 | Zero-probability event | , degenerate | Ex 3 (impossible event) |
| C4 | Certain event | , limiting case | Ex 4 (sure event) |
| C5 | Dependent but NOT disjoint | the confusing middle | Ex 5 (rain / cloudy) |
| C6 | Same experiment, sign flip | sampling without replacement | Ex 6 (two cards) |
| C7 | Three-way / conditional independence | independence appears only after conditioning | Ex 7 (flu, cough, fever) |
| C8 | Real-world word problem | translate English → sets | Ex 8 (spam filter) |
| C9 | Exam twist | independent given , dependent unconditionally | Ex 9 (two dice, sum) |
The two "extremes" of the dartboard (C1 = no overlap, C2 = product overlap) plus the "degenerate" edges (C3 zero, C4 one) plus the "middle spectrum" (C5) cover every possible overlap size. C6–C9 test whether you can spot which cell a real problem sits in.

The amber bar above is a number line of overlap sizes. Every event pair sits somewhere on it. Mutual exclusivity is the far-left point (overlap ); independence is the single amber tick at ; everything else is "just dependent." Keep this line in your head.
Ex 1 — C1: Disjoint, both positive
Forecast: guess now — can they be both? Can knowing one leave the other unchanged?
- , . Why this step? One favourable face out of six equally likely faces.
- Both at once would mean the die shows and on a single roll — impossible. So . Why this step? The overlap region is empty; on our dartboard the two patches don't touch.
- Mutually exclusive? → Yes.
- Independent? Test . Compare to . Since → No.
Verify: union should be ; also equal . ✓ Consistent — disjoint events add cleanly.
Ex 2 — C2: Independent, overlap positive
Forecast: both heads possible? Does the first flip change the second?
- , . Why this step? Each flip is fair.
- The four equally likely outcomes are HH, HT, TH, TT. Both heads = HH, one outcome. . Why this step? We count the overlap directly instead of assuming — this is how you confirm independence rather than take it on faith.
- Independent? → Yes.
- Mutually exclusive? → No (both can happen).
Verify: conditional check . ✓ Knowing the second flip tells you nothing about the first.
Ex 3 — C3: The zero-probability (degenerate) case
Forecast: an event that cannot occur — is it independent of everything? Mutually exclusive with everything?
- (no face shows ). . Why this step? Establish the degenerate input explicitly — this is the edge cell.
- because never happens, so never happens. Why this step? If one region is empty, any overlap with it is empty too.
- Mutually exclusive? → Yes (trivially — excludes everything).
- Independent? Test → Yes, also independent.
Verify: the equivalent conditional is undefined (dividing by ), which is exactly why we test with the product form here. The product form gives . ✓
Ex 4 — C4: The certain event (limiting case )
Forecast: an event that always happens — does knowing it change anything?
- , . Why this step? is the whole dartboard.
- = "roll a and roll something –" = just "roll a ". So . Why this step? Intersecting with the whole sample space changes nothing.
- Independent? → Yes.
- Mutually exclusive? → No.
Verify: . ✓ A certain event carries no information, so it is independent of everything — the mirror image of Ex 3.
Ex 5 — C5: Dependent but NOT mutually exclusive (the confusing middle)
Forecast: these two clearly happen together, yet they're related — which cell?
- → not mutually exclusive. Both happen (rainy and cloudy). Why this step? Rule out the far-left point of our overlap number line.
- Independence test: . Why this step? This is the "no-information" overlap size — the amber tick on the line.
- Actual overlap → Not independent (dependent). Why this step? The real overlap is bigger than the product → positively correlated.
- Feel it: , but . Clouds push rain from up to .
Verify: dependence direction check — , so knowing "cloudy" raises rain's chance. Positive dependence, not exclusion. This is the cell where beginners wrongly shout "mutually exclusive." ✓
Ex 6 — C6: Same setup, sign flip (sampling without replacement)
Forecast: with replacement the two draws were independent (parent note). Remove replacement — does independence survive?
- . Why this step? Four aces, fifty-two cards.
- : first ace then second ace . Why this step? After pulling one ace, only aces remain among cards — the deck changed.
- overall (by symmetry, the second draw is an ace with the same marginal chance). Why this step? Before we look at the first card, every position is equally likely to be an ace.
- Independence test: . Compare . Since → Not independent.
Verify: vs ; overlap is smaller than the product → knowing "first was an ace" lowers the second's chance (). Negative dependence — the opposite direction from Ex 5. ✓
Ex 7 — C7: Conditional independence (independence appears only after conditioning)
Forecast: cough and fever look linked in the crowd — but are they linked once we fix the flu status?
- Given flu: , , and → conditionally independent given flu. ✓ Why this step? This is the exact definition .
- Unconditionally, marginal cough ; marginal fever . Why this step? Pool both groups to see the raw, un-conditioned picture.
- Unconditional joint: . Why this step? Add the "both symptoms" counts from each group, divide by total.
- Test unconditional independence: → NOT independent unconditionally.
Verify: conditional product matches the given joint exactly (). And : in the raw crowd, cough and fever do co-occur more than chance — because flu is a hidden common cause. Conditioning on flu removes the link. This is precisely what Naive Bayes and graphical models rely on. ✓
Ex 8 — C8: Real-world word problem (translate English → sets)
Forecast: if "free" were independent of spam, the filter would be useless — guess the answer.
- Let spam, contains "free". Given: , , , . Why this step? Turn each English phrase into a labelled probability.
- Marginal by the law of total probability: . Why this step? We need to run the independence test; split it over the two spam states.
- Independence would require , i.e. . False → dependent. Why this step? Independence means "knowing spam doesn't move the chance of 'free'." Here it moves it from to .
- Bonus (Bayes, from Bayes' theorem): .
Verify: — seeing "free" more than doubles the spam probability, confirming strong dependence. A filter needs dependent features; independence here would mean the word carries zero signal. ✓
Ex 9 — C9: Exam twist (independent in pieces, dependent through a sum)
Forecast: are the poster child for independence. Is still independent of the derived event ?
- , , and → independent. Why this step? Separate physical dice — the standard independent pair.
- Sum-to- outcomes: → . Why this step? List every way to hit the target sum; leave none out.
- = first die and sum = only → . Why this step? Fixing the first die to forces the second to for the sum to work.
- Test: → == and NOT independent==.
Verify: but ; knowing the first die is lowers the sum-8 chance to … wait, it raises it. Indeed : information gain either way, so dependent. The trap: independence of does not propagate to functions like . ✓
Recall Rapid self-test
Overlap means what property? ::: Mutually exclusive (disjoint). Overlap means what property? ::: Independent. Can a zero-probability event be BOTH disjoint and independent of ? ::: Yes — Ex 3; the "opposites" rule needs both probabilities positive. Two dice are independent — must "first die = 4" be independent of "sum = 8"? ::: No — Ex 9; functions of independent variables can be dependent. Sampling two cards without replacement: independent? ::: No — Ex 6; the first draw changes the deck.
See also the parent Independence and mutual exclusivity and prerequisites 1.3.01-Basic-probability-concepts, 1.3.02-Conditional-probability.