什麼是德摩根定理

德摩根定律是關於命題邏輯規律的一對法則，奧古斯塔斯德摩根首先發現了在命題邏輯中存在着下面這些關係：非P且Q等於非P或非Q，非P或Q等於非P且非Q。

德摩根定律在數理邏輯的定理推演中，在計算機的邏輯設計中以及數學的集合運算中都起着重要的作用。其發現影響了喬治布爾從事的邏輯問題代數解法的研究，這鞏固德摩根作為該規律的發現者的地位，儘管亞里士多德也曾注意到類似現象，且這也為古希臘與中世紀的邏輯學家熟知。