AITIP(**I**nformation **T**heoretic **I**nequality **P**rover) 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.

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

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)

I(A1;A2) >= I(A1;A3)

A1 -> A2 -> A3