离散数学计算的过程怎么来的?b ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b ∨ c ∨ d )= b

题目

离散数学计算的过程怎么来的?b ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b ∨ c ∨ d )= b
b ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b ∨ c ∨ d )= b ∧ d
请问这个过程怎么来的?（题目前提是4个属性 a 、b 、c、d..

答案

b ∧ (b ∨ c ∨ d ) ∧ d ∧ ( a ∨ b ∨ d ) ∧ ( a ∨ b ∨ c ∨ d )=(b ∧ (b ∨ (c ∨ d ))) ∧ d ∧( ( a ∨ b ∨ d ) ∧ (( a ∨ b ∨ d) ∨ d) )=b ∧ d ∧( a ∨ b ∨ d)=b ∧ (d ∧( d ∨( b ∨ a)))= b ...