Probability of the union of not mutually exclusive events