title: Boolean Algebra Consensus
body: <p>I have been trying to solve the following consensus: 
  A'C'D + A'BD + BCD + ABC + ACD' = A'C'D + BCD + ACD'</p>
  
  <p>and I think am doing something wrong. Also is there any rule 
  that says BD + BC = BCD because I tried using binary tables and both expressions do not equal. I really need to see and understand the steps of the above consensus. It has given me hard time. Any help would be appreciated.  </p>