德摩根定律(De Morgan's Laws)是一组关于逻辑运算符(与、或、非)的转换规则。它们在布尔代数、集合论和命题逻辑中都有应用。德摩根定律包括两个基本公式:
非 (A 与 B) 等价于 (非 A) 或 (非 B)
非 (A 或 B) 等价于 (非 A) 与 (非 B)
在符号表示中,我们可以用 ¬ 表示“非”(NOT),用 ∧ 表示“与”(AND),用 ∨ 表示“或”(OR)。那么德摩根定律可以表示为:
¬(A ∧ B) ≡ (¬A) ∨ (¬B)
¬(A ∨ B) ≡ (¬A) ∧ (¬B)
在集合论中,德摩根定律可以用于补集、交集和并集的运算。设 A 和 B 是两个集合,那么德摩根定律在集合论中的表示为:
(A ∩ B)′ = A′ ∪ B′
(A ∪ B)′ = A′ ∩ B′
其中 A′ 和 B′ 分别表示 A 和 B 的补集,A ∩ B 表示 A 和 B 的交集,A ∪ B 表示 A 和 B 的并集。