title: not(A XOR B) =?
body: <p>the question relates to the following simplification:
  <img src="https://i.stack.imgur.com/5EyjF.gif" alt="enter image description here"></p>
  
  <p>How does A( not(BC) +BC ) = A*not(B XOR C) ?</p>
  
  <p>Thanks in advance!</p>