德摩根定律的定義：
德·摩根首先發現了在命題邏輯中存在著下面這些關系：非(P 且 Q) = (非 P) 或 (非 Q)，非(P 或 Q) = (非 P) 且 (非 Q)，所以就已他的名字來命名這些定律。
德·摩根定律在數理邏輯的定理推演中，在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。他的發現影響了喬治·布爾從事的邏輯問題代數解法的研究。這鞏固了德摩根作為該規律的發現者的地位，盡管亞裏士多德也曾註意到類似現象，且這也為古希臘與中世紀的邏輯學家熟知。