真偽: もしP(A |B) = 1の場合、AとBは等しくなければなりません。