!a*b*c+a*!b*c+a*b*!c+a*b*c =
(!a*b*c+a*b*c)+(a*!b*c+a*b*!c) =
((!a+a)*b*c)+a*!b*c+a*b*!c =
(1*b*c)+a*!b*c+a*b*!c =
b*c+a*!b*c+b*c+a*b*!c =
c*(b+a*!b)+b*(c+a*!c) =
c*((b+a)*(b+!b))+b*((c+a)*(c+!c)) =
c*((b+a)*1)+b*((c+a)*1) =
c*(b+a)+b*(c+a) =
c*b+c*a+b*c+b*a =
a*b+a*c+b*c