波列茨基定律

集合論和邏輯中的定理，對於所有集合 和 ，

(1)

其中 表示 補集 和 是空集。 集合 在上面的 維恩圖 中描繪，並且顯然與 當且僅當 為空集時一致。

布林代數 中相應的定理指出，對於 的所有元素 ，

(2)

邏輯的波列茨基定律版本可以從命題演算的規則（即對於所有命題 和 ）從 (2) 推匯出來

(3)

其中“等價於”表示具有相同的真值表。事實上，在下表中，第二列和第三列的值一致當且僅當第一列的值為 0 時。

		( 與 非 ) 或 (非 與 )
0	0	0
0	1	1
1	0	1
1	1	0