德-摩根定律

  德·摩根定律在數理邏輯的定理推演中，在計算機的邏輯設計中以及數學的集合運算中都起着重要的作用。 他的發現影響了喬治·布爾從事的邏輯問題代數解法的研究。這鞏固了德摩根作爲該規律的發現者的地位，儘管亞里士多德也曾注意到類似現象，且這也爲古希臘與中世紀的邏輯學家熟知。   形式邏輯中此定律表達形式：      下面我們用相對簡單的方式去理解證明它：      根據上圖來分析得出公式1：   not

>>阅读原文<<