集合的分配律
A∩(B∪C) = (A∩B)∪(A∩C)
证明：
∀ x ∈ A∩(B∪C)

→ x ∈A且x∈B∪C
→ x ∈A且x∈B或x∈C
→x∈A∩B或x∈A∩c
→x∈(A∩B)∪(A∩C)
即：A∩(B∪C)