德摩根定律

德·摩根定律是关于命题逻辑规律的一对法则。德·摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。 德摩根定律是形式逻辑中有关否定所描述的系统方式中的逻辑运算符对偶对的一系列法则。由此引出的关系也就被称为“德摩根二重性”。

这一定律的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，同时巩固德摩根作为该规律发现者的地位。