Распишите сложение/вычитание/умножение/деление этих двух примеров

Импликация раскрывается так:
A → B = ~A V B (здесь ~A = НЕ А)
Эквиваленция раскрывается так:
A ↔ B = (~A /\ ~B) V (A /\ B)
Подставляем:
1. (A /\ B) → (A V B) = ~(A /\ B) V (A V B) = ~A V ~B V A V B = 1
Формула тождественно истинна
2. (A V B) → (A /\ B) = ~(A V B) V (A /\ B) = (~A /\ ~B) V (A /\ B) = A ↔ B
Формула является выполнимой
3. (A V (B ↔ A)) /\ (A → B) = (A V (~B /\ ~A) V (B /\ A)) /\ (~A V B) = Z
По закону поглощения A V (B /\ A) = A, поэтому
Z = (A V (~B /\ ~A)) /\ (~A V B) = (A V ~B) /\ (A V ~A) /\ (~A V B) =
= (A V ~B) /\ 1 /\ (~A V B) = (A V ~B) /\ (~A V B) =
= (A /\ ~A) V (~B /\ ~A) V (A /\ B) V (~B /\ B) = (~B /\ ~A) V (A /\ B)  = A ↔ B
Формула является выполнимой

x-скорость лодки
у-скорость течения
z-искомое расстояние
t2-время возврата первого (x-y) *12*60 = 1600
z-(x+у)*12*60=1600+1600
(x+y)*t2=1600
(x-y)*(49*60-12*60-t2)= z-1600

z-(2x-1600/(12*60))*12*60=1600+1600
(2x-1600/(12*60))*t2=1600
1600/(12*60)*(49*60-12*60-t2)= z-1600

Z=(2x-1600/(12*60))*12*60+1600+1600
(2x-1600/(12*60))*t2=1600
z=1600/(12*60)*(49*60-12*60-t2)+1600

Z=1600*12*60/t2+1600+1600
z=1600/(12*60)*(49*60-12*60-t2)+1600

z=1600*(12*60/t2+2)
z=1600*(49*60-12*60-t2) /(12*60)+1)

z=1600*(12*60/t2+2)
(49*60-12*60-t2) /(12*60)+1= 12*60/t2+2

z=1600*(12*60/t2+2) 49/12-t2 /(12*60) = 12*60/t2+2

z=1600*(12*60/t2+2)
t2^2-25*60*t2+12*12*60*60=0
d=25^2*60^2-4*12*12*60*60=60^2*(625-576)=60^2*49
t2=(25*60+60*7)/2=16*60
z=1600*(12*60/t2+2)= 1600*(12*60/(16*60)+2)= 1600*(2,75)=4400 м