| H(X) = | n Σ i = 1 | P(xi)log2 | 1  P(xi) | (bit) | 
| ( | n Σ i = 1 | P(xi) = 1 ) | 
| H(Y) = | m Σ j = 1 | P(yj)log2 | 1  P(yj) | (bit) | 
| ( | m Σ j = 1 | P(yj) = 1 ) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| H(X, Y) = | n Σ i = 1 | m Σ j = 1 | P(xi, yj)log2 | 1  P(xi, yj) | (bit) | 
| ( | n Σ i = 1 | m Σ j = 1 | P(xi, yj) = 1 ) | 
| H(X, Y) = | n Σ i = 1 | m Σ j = 1 | P(xi)P(yj)log2 | 1  P(xi)P(yj) | 
| = | n Σ i = 1 | m Σ j = 1 | P(xi)P(yj){log2 | 1  P(xi) | + | log2 | 1  P(yj) | } | 
| = | n Σ i = 1 | P(xi) | m Σ j = 1 | P(yj){log2 | 1  P(xi) | + | log2 | 1  P(yj) | } | 
| = | n Σ i = 1 | P(xi){log2 | 1  P(xi) | m Σ j = 1 | P(yj) + | m Σ j = 1 | P(yj)log2 | 1  P(yj) | } | 
| = | n Σ i = 1 | P(xi){log2 | 1  P(xi) | + H(Y) | } = | n Σ i = 1 | P(xi)log2 | 1  P(xi) | + | n Σ i = 1 | P(xi)H(Y) | 
| = H(X) + H(Y) | 
| H(X|Y) = | n Σ i = 1 | m Σ j = 1 | P(yj)P(xi|yj)log2 | 1  P(xi|yj) | (bit) | 
| = | n Σ i = 1 | m Σ j = 1 | P(xi, yj)log2 | 1  P(xi|yj) | (bit) | 
| H(Y|X) = | n Σ i = 1 | m Σ j = 1 | P(xi)P(yj|xi)log2 | 1  P(yj|xi) | (bit) | 
| = | n Σ i = 1 | m Σ j = 1 | P(xi, yj)log2 | 1  P(yj|xi) | (bit) | 
| 
 
 
 |  | 
| 脚注 | |||||||||||||||||||||||||||||||||||||
| ※ | 
 
 
 
 
 
 | ||||||||||||||||||||||||||||||||||||