德摩根定律

德·摩根定律是關於命題邏輯規律的一對法則。德·摩根定律在數理邏輯的定理推演中，在計算機的邏輯設計中以及數學的集合運算中都起着重要的作用。 德摩根定律是形式邏輯中有關否定所描述的系統方式中的邏輯運算符對偶對的一系列法則。由此引出的關係也就被稱為“德摩根二重性”。

這一定律的發現影響了喬治·布爾從事的邏輯問題代數解法的研究，同時鞏固德摩根作為該規律發現者的地位。