De Morgan's laws
包除原理とド・モルガンの法則とを合わせることで、共通部分の要素数を計算できる。formula_11 を普遍集合、各 formula_12 について formula_13 とし、formula_14 が formula_11 に関する formula_16 の補集合を表すものとする。このとき