A quality check generates three binary stamps. First it flips two independent fair coins, writing \(X=1\) for heads on the first and \(Y=1\) for heads on the second (tails are 0). It then sets a third stamp \(Z=1\) if the two original stamps differ, and \(Z=0\) if they agree. There is no third coin flip.
A manager notices that each stamp individually has a 50% chance of being 1 and claims that every pair of stamps is independent, so the probability that all three equal 1 must be \(1/8\). Verify or refute each part of that claim by listing the possible triples.
Get hint
Hint 1
There are only four equally likely outcomes of the original two coin flips. Write the third stamp for each of them.
Show solution
The only randomness comes from the two original fair, independent bits \((X,Y)\). The rule for the third bit is exclusive OR: \(Z=X\oplus Y\). The complete sample space is
\[
\begin{array}{c|c|c}
X&Y&Z\\\hline
0&0&0\\
0&1&1\\
1&0&1\\
1&1&0
\end{array}
\qquad\text{(each row has probability }1/4\text{).}
\]
Each of X, Y and Z equals 1 in exactly two of the four rows, so each has probability 1/2 of being 1. For the pair \((X,Y)\), the four combinations are the four equally likely generating coin outcomes. For \((X,Z)\), the rows give \((0,0),(0,1),(1,1),(1,0)\), each with probability 1/4. For \((Y,Z)\), they give \((0,0),(1,1),(0,1),(1,0)\), again each with probability 1/4. Since all individual marginals equal 1/2, each pair's joint probabilities factor as \((1/2)(1/2)=1/4\): every pair is independent.
However, there is no outcome 111: if \(X=Y=1\), then they agree and \(Z=0\) by construction. Therefore
\[
P(X=1,Y=1,Z=1)=\boxed{0}\ne\tfrac12\cdot\tfrac12\cdot\tfrac12=\tfrac18.
\]
The generating relationship also gives \(X\oplus Y\oplus Z=0\) on every trial. Pairwise independence does not remove a constraint linking all three variables simultaneously, so the manager's final multiplication is invalid.
Assumptions
X and Y are independent fair Bernoulli bits.
Z is exactly the XOR of X and Y, with no further noise or randomisation.
The claim concerns pairwise independence and full three-way factorisation, which are different properties.
Final Answer
All three pairs are independent, but the triple is not jointly independent. Possible equally likely outcomes are 000, 011, 101, 110, so \(P(X=Y=Z=1)=0\), not \(\frac18\).