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.
On
You could rewrite each side as @henning-makholm said. For another specific method apart from Venn diagrams, you could use a Karnaugh map, either by hand or using a tool like this one: http://www.ee.calpoly.edu/media/uploads/resources/KarnaughExplorer_1.html
If everything else fails, rewrite each term on both sides as a sum of terms where each contains every variable either direct or negated. For example, $BC = (A+\bar A)BC = \bar ABC + ABC$. Then check whether you get the same terms on each side of the equation.
(This is the algebraic equivalent of drawing Venn diagrams for the two sides and seeing whether they match).