主题
Search

德·摩根定律


 union 代表 “或”, intersection 代表 “与”,以及 ^' 代表 “非”。那么,对于两个逻辑单元 EF

 (E union F)^'=E^' intersection F^'
 (E intersection F)^'=E^' union F^'.

这些定律也适用于更广泛的 布尔代数 背景下,特别是在 集合论布尔代数 中,在这种情况下, union 将表示 并集 intersection 交集,以及 ^' 相对于 EF 的任何超集的补集。


使用 Wolfram|Alpha 探索

参考文献

Dugundji, J. 拓扑学。 Englewood Cliffs, NJ: Prentice-Hall, 1965.Halmos, P. R. 朴素集合论。 New York: Springer-Verlag, 1974.Kelley, J. L. 一般拓扑学。 New York: Springer-Verlag, 1975.Papoulis, A. 概率、随机变量和随机过程,第二版。 New York: McGraw-Hill, p. 23, 1984.Simpson, R. E. 科学家和工程师实用电子学入门,第二版。 Boston, MA: Allyn and Bacon, pp. 540-541, 1987.

引用为

Weisstein, Eric W. “德·摩根定律。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/deMorgansLaws.html

主题分类