title: Simplify boolean expression: (a + b)(b'+ c)(a + c) = (a + b)(b'+ c)
body: <p>Hello I am trying to simplify this expression (proving consensus expression):</p>
  
  <pre><code>(a + b)(b'+ c)(a + c) = (a + b)(b'+ c)
  </code></pre>
  
  <p>I was thinking of adding <code>(a+b)(b'+ c)(a + c + b' + b)</code>, but I don't know what to do after.</p>