Venn diagrams, mutually exclusive vs non-mutually exclusive, set theory, probability of combined events ("and" vs "or")