简介：<正>在经典集合论中,有一个众所周知的狄莫更(DeMorgan)公式:C(A∪B)=CA∩CB,C(A∩B)=CA∪CB,(1)也可推广为:(2)其中I为指标集.狄莫更公式使我们能通过余集的运算把并集变为交集.把交集变为并集.狄莫更公式是一个很有用的公式,在推理论证和演算中往往起着十分重要的作用.狄莫更公式不仅在集合论中而且在许多的数学分支如概率论、数理逻辑、逻辑代数、模糊教学中出现,只是公式的具体意义
狄莫更公式
