Решить задачи из Paschal ABC

После 3 дней должны взять деньги( зависит от абонентской платы) и у тебя будет все работать

Решение - в прилагаемом файле.
(¬Y ∨ X) ∨ (Y ∧ Z) ∧ ¬X

!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