集合形式下德摩根律的证明

先利用“真值表”证明“命题逻辑的德摩根律”

 再利用命题逻辑的德摩根律证明集合形式的德摩根律

 或者更简洁一些

事实上，集合恒等式和逻辑等价式这两者都是布尔代数中的恒等式的特例