德-摩根定律

  德·摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。 他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究。这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象，且这也为古希腊与中世纪的逻辑学家熟知。   形式逻辑中此定律表达形式：      下面我们用相对简单的方式去理解证明它：      根据上图来分析得出公式1：   not

>>阅读原文<<