什么是德摩根定理

德·摩根定律（或称德·摩根定理）是关于命题逻辑规律的一对法则。

奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系：非(P 且 Q) = (非 P) 或 (非 Q)非(P 或 Q) = (非 P) 且 (非 Q)德·摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。 他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究。这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象，且这也为古希腊与中世纪的逻辑学家熟知。例：设x属于Cu(A∪B)则x属于u却不属于A∪B所以x属于u却不属于A，也不属于B故x属于CuA和CuB,故x属于CuA∩CuB,反过来，式子仍然成立。同理，另一式也成立。