I(X;Y)具有的性质：

A、I(X;Y)≤max[H(X),H(Y)];
B、0≤I(X;Y);
C、I(X;Y)∝f[p(xi),p(yj|xi)];
D、若固定信道，则存在最有信源，使I(X;Y)达到极大值。