The Theorem X + XY = X works because of the distributive properly of AND over OR, so you havefor the first one:
A'*B*C + A*C
I considered using theorem X + XY = X considering X = C and Y = B. But I don't think this is possible because C is part of another variable (A*C)
by Jake Hertz
by Aaron Carman
by Jake Hertz