Упростите, используя равносильности алгебры логики.

сначала раскроем импликацию и эквивалентность по формулам:(a*c->b)+b*!c = (!(a*c)+b)+b*!c = (!a+!c+b)+b*!c=!a+!c+b+b*!c=!a+b+(1+b)*!c = !a+b+!c=(!a+!c)+b = !(a*c)+b = ac -> b(a<->b)+(a * !b->b * c) = (!a+b)*(a+!b)+(!(a * !b) + b*c) = !a*a + !a*!b + b*a + b*!b + !a + b + b*c = 0 + !a*!b + b*a + 0 + !a + b*(1 + c) = !a + !a*!b + b*a + b = !a * (1+ !b) + b * (a + 1) = !a + b = a -> bвроде так