德摩根定律

在命題邏輯和邏輯代數中，德·摩根定律（或稱德·摩根定理）是關於命題邏輯規律的一對法則。

奧古斯都·德·摩根首先發現了在命題邏輯中存在着下面這些關係：

非(P 且 Q) = (非 P) 或 (非 Q)

非(P 或 Q) = (非 P) 且 (非 Q)