德摩根公式是：A交B的补集等于A的补集并上B的补集；A并B的补集等于A的补集交B的补集。

在命题逻辑和逻辑代数中，德摩根定律是关于命题逻辑规律的一对法则。

德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。德摩根的发现影响了乔治布尔从事的逻辑问题代数解法的研究。这巩固德摩根作为该规律的发现者的地位。