德·摩根定律(De Morgan's laws),也稱為德·摩根定理,是一對在命題邏輯和邏輯代數中非常重要的法則,由奧古斯都·德·摩根首先發現。德·摩根定律在數理邏輯、計算機邏輯設計以及數學的集合運算中都有廣泛的套用。
德·摩根定律包括兩個主要部分:
非(P且Q)等於非P或非Q。這意味著P和Q兩個條件中,如果一個為假,則整個條件為假,這與Q或非P的情況相同。
非(P或Q)等於非P且非Q。這意味著P和Q兩個條件中,只有當它們都為假時,整個條件才為假,這相當於非P和非Q的情況。
這些定律也被稱為反演律,它們揭示了邏輯運算符如「且」和「或」以及「非」之間的深層關係。德·摩根定律不僅在形式邏輯中有著重要的地位,在其他領域如機率論和集合論中也有廣泛的套用。