ITIP(Information Theoretic Inequality Prover) is an online service that automatically prove or disprove information theory inequalities in form of entropy, joint entropy and mutual information. Please refer to the about page for more information.

Please enter your information inequality below:

Don't know how to format your problem? Click here for some toy examples.


Example 1 (objective function only)

I(A;B|C,D) + I(B;D|A,C) <= I(A;B|D) + I(B;D|A) + H(A) + I(B;D|C)

Example 2 (objective function and four constraints)

I(A; B | F) + H(A, B, C, D| F) - 2H(A) + I(A; B | F) - H(A) + I(B; C | F) - H(A) + I(A; D | F) - H(A) <= 0

H(A, B, C, D) = 4H(A)

H(A) = H(B)

H(B) = H(C)

H(C) = H(D)