Question

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

Answer 1

сначала раскроем импликацию и эквивалентность по формулам:
$arightarrow b = neg a vee b$
$aleftrightarrow b = (neg avee b)wedge(aveeneg b)$

(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

вроде так