【发布时间】：2019-04-07 05:59:27
【问题描述】：
我在证明这个集合等价（离散数学）时遇到问题
B∩~(~B∩~B)=B
我使用过双重否定、德摩根以及结合律，但我无法完全做到。
【问题讨论】：
-
我投票结束这个问题，因为它不是关于编程的。
-
我投票结束这个问题，因为它是关于数学而不是直接关于编程/编码/编程工具/软件算法。
【发布时间】：2019-04-07 05:59:27
【问题描述】：
这里不需要德摩根的 - 只是集合与自身的交集是它本身，而集合的否定的否定是集合本身。
B ∩ ~(~B ∩ ~B)
= B ∩ ~(~B) S ∩ S = S
= B ∩ B ~(~S) = S
= B S ∩ S = S
如果您正在使用一组不包含这些规则的公理，我建议先推导出这些规则。
【讨论】：