Steps to simplify this boolean expression How do you simplify: ~A*B+A*~C+B*~C to A * ~C + B * ~A
I tried the distributive law but I end up going in circles.

This equivalence is well known and called the Consensus Theorem.
It can be proven as follows:
$$A'B + AC' + BC' \overset{Adjacency}{=}A'B + AC' + ABC' +A'BC' \overset{Absorption (2x)}{=}A'B + AC' $$
