什么是德摩根定理

德摩根定律是关于命题逻辑规律的一对法则，奥古斯塔斯德摩根首先发现了在命题逻辑中存在着下面这些关系：非P且Q等于非P或非Q，非P或Q等于非P且非Q。

德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。其发现影响了乔治布尔从事的逻辑问题代数解法的研究，这巩固德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象，且这也为古希腊与中世纪的逻辑学家熟知。