Докажите тавтологию ((X→ Y)˄ (Y→Z))→(X→ Z)

Из условия задачи можем найти скорости движения обоих авто
1) 180:2=90(км/ч)- скорость дв л/а
2)180:3=60(км/ч)-скорость г/а
Пусть х-это время встречи, тогда Л/а пройдет 90*х км, а Г/а пройдет 60*х км.В сумме эти расстояния сост расстояние между пристанями. составим ур-ние
 90х+60х=180
150х=180
х=1,2(ч) 
Время встречи - 1,2 часа.
 найдем пройденный путь Л/а, при условии, что он выехал из А
90*1,2=108 (км)
 Это и будет расстояние от А , где встретятся автомобили
 Проверка:
 60*1,2=72(км) -путь пройденный грузовым авто
108+72=180(км)
180=180
ответ: автомашины встретятся на расстоянии 108 км от А

Сначала найдём производную:
y*=(x^2(1-x)^2)*=(x^2)*(1-x)^2+x^2((1-x)^2)*=2x(1-x)^2+x^2*2(1-x)*(1-x)*=2x(1-2x+x^2)+x^2(2-2x)*(-1)=2x-4x^2+2x^3-2x^2+2x^3=4x^3-6x^2+2x
Теперь то, что получилось (жирный шрифт) приравниваем к нулю и решаем:
4x^3-6x^2+2x=0
x(4x^2-6x+2)=0
x=0; 4x^2-6x+2=0
         2x^2-3x+1=0
         D=(-3)^2-4*2*1=1
         x1=1
         x2=0.5
Дальше строим ось X и отмечаем точки в порядке возрастания.
Надеюсь вам знаком метод интервалов.
в результате получается, что Xмин = 0 и 1, а Xмах=0,5
Теперь подставляем в исходное уравнение (y=x^2(1-x)^2)
Yнаим=Y(0)=0^2(1-0)^2=0
Yнаиб=Y(0.5)=0.5^2(1-0.5)^2=0.25*0.25=0.0625
ответ: Yнаим=0; Yнаиб=0,0625