设 代表 “或”,
代表 “与”,以及
代表 “非”。那么,对于两个逻辑单元
和
,
这些定律也适用于更广泛的 布尔代数 背景下,特别是在 集合论 的 布尔代数 中,在这种情况下, 将表示 并集,
交集,以及
相对于
和
的任何超集的补集。
设 代表 “或”,
代表 “与”,以及
代表 “非”。那么,对于两个逻辑单元
和
,
这些定律也适用于更广泛的 布尔代数 背景下,特别是在 集合论 的 布尔代数 中,在这种情况下, 将表示 并集,
交集,以及
相对于
和
的任何超集的补集。
Weisstein, Eric W. “德·摩根定律。” 来自 —— 资源。 https://mathworld.net.cn/deMorgansLaws.html