§3,2容斥原理 容斥原理研究有限集合的交或并 的计数。 Demorgan定理论域U,补集A A={x|x∈U且xA},有 (a)AUB=A∩B (b)A∩ B=A B容斥原理研究有限集合的交或并 的计数。 [DeMorgan定理] 论域U，补集 A A{x | xU且x A} ,有 §3.2 容斥原理 (a) A  B  A  B (b) A  B  A  B