>>> P(A.union(B))+P(A.intersection(B))
0.9
>>> P(A)+P(B)
0.9
>>> P(A.union(B))+P(A.intersection(B)) == P(A)+P(B)
True