I am trying to prove that
BC + !A!B + !A!C = ABC +!A
I have attempted using De Morgan laws, and substituting
X for !A!B and
Y for !A!C, however I made no headway in this.
I've also tried grouping the A's like so,
!A(!B+!C), however again I couldn't get anywhere. If anyone could point me in the right direction, help me solve, show me a tool that can do it, etc. I'd be grateful.