You forgot to correct an instance of this :
The joint system (X,Y,Z) only has 16 possible states—since Z is just the question “Are X+Y even or odd?”—so H(X,Y,Z) = 4 bits.
I find it particularly disturbing because in this instance, X+Y is always even...
You forgot to correct an instance of this :
I find it particularly disturbing because in this instance, X+Y is always even...