Hi - I am just puzzled why inf(A|B) = inf(A) - iev(A, B).

Here is my derivation: inf(A|B) = - log(P(A|B)) = - log(P(A)*pev(A, B)) = -log(P(A)) - log(pev(A, B)) = inf(A) + iev(A, B).

Could you please tell me where is wrong? Thank you very much!