Logic 代数逻辑，布尔代数，证明方程_Logic

Logic 代数逻辑，布尔代数，证明方程

logic

Logic 代数逻辑，布尔代数，证明方程,logic,Logic,证明：（（a∧（b）∨ （不是∧ b） )∧ （（不是c）∧ 不是（d）∨ （不是（c）∨ d））等于b∧ 不是c∧ 不是d 我的建议是在开始时使用摩根定律：（（a∧（b）∨ （不是∧ b） )∧ （（不是c）∧ 不是（d）∨ （不是c∧ 非d））等于b∧ 不是c∧ 不是d 有人能帮我吗？这个表达式的形式是x∧ y其中 x = (a∧b) ∨ (not a ∧ b) = (a ∨ not

证明：

（（a∧（b）∨ （不是∧ b） )∧ （（不是c）∧ 不是（d）∨ （不是（c）∨ d） ）

等于

b∧ 不是c∧ 不是d

我的建议是在开始时使用摩根定律：

（（a∧（b）∨ （不是∧ b） )∧ （（不是c）∧ 不是（d）∨ （不是c∧ 非d））

等于

b∧ 不是c∧ 不是d

有人能帮我吗？

这个表达式的形式是

x∧ y

其中

                         x = (a∧b) ∨ (not a ∧ b)
                           = (a ∨ not a) ∧ b                    ; distribution
                           = true ∧ b
                           = b

                         y = (not c ∧ not d) ∨ (not(c ∨ d))
                           = (not c ∧ not d) ∨ (not c ∧ not d)  ; De Morgan
                           = not c ∧ not d                       ; A ∨ A = A

所以

                     x ∧ y = b ∧ not c ∧ not d