title: How to reduce a logical statement?
body: <p>I'm pretty sure I can remember doing something like this in one of my college level courses and that there was some kind of formula to it, but my mind is failing me beyond that.</p>
  
  <p>Given the statement: ( a OR b OR d ) AND ( a OR c )</p>
  
  <p>I'm pretty sure that this can be reduced to: ( a OR b OR d OR c )</p>
  
  <p>But I cannot remember how I would go about proving it.</p>
  
  <p>Maybe it was a series of logic tables?</p>