独立补集定理

如果集合 和 是独立的，那么 和 也是独立的，其中 是 的补集（即，所有不在 中的可能结果的集合）。令 表示“或”， 表示“和”。那么

			(1)
			(2)

其中 是 的缩写。但是 和 是独立的，所以

(3)

此外，由于 和 是补集，它们不包含共同元素，这意味着

(4)

对于任何 。将 (4) 和 (3) 代入 (2) 得到

(5)

重新排列，

(6)

证毕。