摩根定理,也稱為德·摩根定律,是命題邏輯和邏輯代數中的一對重要法則。它們可以表述為:
非(P 且 Q) = (非 P) 或 (非 Q)
非(P 或 Q) = (非 P) 且 (非 Q)
這些定律揭示了邏輯連線詞「且」和「或」之間的對偶關係,以及否定操作的影響。在集合論中,它們可以表達為:
Cu(A∪B) = CuA∩CuB
Cu(A∩B) = CuA∪CuB
這些定律在數理邏輯、計算機邏輯設計以及數學的集合運算中都有著廣泛的套用。德·摩根定律也被稱為反演律,它們在形式邏輯中表達了否定和邏輯連線詞之間的基本關係。這些定律的發現和套用,對於邏輯學、計算機科學和數學等領域都產生了深遠的影響。