Just pasting this into a calculator your expressions don’t seem to be equivalent:
first expression e1: (((b∧c)=>a) ∧ ((c ∧ d) ⇒ b) ∧ (d ∧ b ⇒ c) ∧ ((a ∧ d) =>(b or c)))
second expression e2: ((b∧c)=>a)∧(d =>((a=b)=c))
e1 = e2: (a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c) ∨ ¬ d
e1 simplifies to (a ∧ b ∧ c) ∨ (¬ a ∧ ¬ b ∧ ¬ c) ∨ (¬ b ∧ ¬ d) ∨ (¬ c ∧ ¬ d)
For e2 I think you want ((b∧c)=>a)∧(d =>((a=b)∧(a=c)))
Oops!
Just pasting this into a calculator your expressions don’t seem to be equivalent:
first expression e1: (((b∧c)=>a) ∧ ((c ∧ d) ⇒ b) ∧ (d ∧ b ⇒ c) ∧ ((a ∧ d) =>(b or c)))
second expression e2: ((b∧c)=>a)∧(d =>((a=b)=c))
e1 = e2: (a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c) ∨ ¬ d
e1 simplifies to (a ∧ b ∧ c) ∨ (¬ a ∧ ¬ b ∧ ¬ c) ∨ (¬ b ∧ ¬ d) ∨ (¬ c ∧ ¬ d)
For e2 I think you want ((b∧c)=>a)∧(d =>((a=b)∧(a=c)))
Oops!