狄摩根定律包括兩個主要的定理，它們分別涉及邏輯運算中的「與」（AND）和「或」（OR）操作的否定。具體來說：
狄摩根第一定律：
公式表示：\( \bar{XY} = \bar{X} + \bar{Y} \)。
解釋：這一定律說明了在邏輯「與」操作中，取反（否定）等價於對各個組成部分分別取反後進行邏輯「或」操作。
狄摩根第二定律：
公式表示：\( \bar{X + Y} = \bar{X} \cdot \bar{Y} \)。
解釋：這一定律說明了在邏輯「或」操作中，取反（否定）等價於對各個組成部分分別取反後進行邏輯「與」操作。
這些定律在邏輯電路設計和布爾代數中有著廣泛的套用。