德摩根定理（De Morgan's theorem）是邏輯學中的一個重要概念，主要包括兩個定律，具體如下：
否定一個邏輯或（P或Q）等於否定P且否定Q（即非(P 或 Q) = 非 P 且 非 Q）。
否定一個邏輯與（P且Q）等於否定P或否定Q（即非(P 且 Q) = 非 P 或 非 Q）。
這些定律在數理邏輯、電腦程式設計、集合論以及機率論等多個領域都有著廣泛的套用。德摩根定理展示了邏輯運算符之間的一種對偶性，即通過引入否定操作，可以將一種邏輯連線轉換為另一種邏輯連線。例如，在計算機編程中，這些定理可以用於簡化邏輯表達式的複雜性，或者在設計和分析數字電路時，用於最佳化電路的設計。德摩根定理的提出者是英國數學家奧古斯都·德·摩根，他在19世紀中期首次系統地闡述了這些定律。儘管這些定律的某些方面在古希臘和中世紀的邏輯學中已被探討，但德·摩根的工作為這些定律的現代形式和套用奠定了基礎。