Для того чтобы формула логики высказываний была тавтологией, необходимо и достаточно, чтобы в ее КН-форме каждый дизъюнктивный одночлен содержал слагаемым хотя бы одну переменную вместе с ее отрицанием
(x→y)^(x→¬y)^x

1) 40 км/ч * 1 ч = 40 км - проедет грузовик за 1 час
20 км/ч * 1 ч = 20 км - проедет гуж.повозка за 1 час.
100 км - 40 км + 20 км = 80 км - расстояние между ними через 1 час.

2) 40 км/ч * 2 ч = 80 км - проедет грузовик за 2 часа
20 км/ч * 2 ч = 40 км - проедет гуж.повозка за 2 часа
100 - 80 + 40 = 60 км - расстояние между ними через 2 часа.

3) х - время, через которое грузовик нагонит повозку
составляем уравнение:
40х - 100 = 20х
(почему -100... потому что грузовику нужно еще преодолеть расстояние между А и В. если нарисовать схему, то становится понятно)
20х = 100
х = 5 ч. - время, через которое грузовик нагонит повозку.
ответ: через 5 часов.

Задача № 1
1) Две машинистки набирают в минуту:
(9+8)/40=17/40 (листов)
2) Тогда 340 листов они наберут за:
340:17/40=340*40/17=800 минут = 800:60=13 часов 20 минут.
ответ: 340 листов машинистки наберут за 13 часов 20 минут.

Задача № 2
v(ученика)=3 км/ч
v (брата)=16 км/ч
Найти S=? км
Решение
S(расстояние)=v(скорость)*t(время)
Расстояние, которое пройдет  ученик до их встречи:
S=v*t=3*t
Расстояние, которое проедет его брат, который выехал через час:
S=v*t=16(t-1)
Выразим время: 3t =16(t-1)
3t=16t-16 3t-16t=-16
-13t=-16
t=16/13 часа – они встретятся.
S=3*16/13=48/13 км
ответ: S=48/13 км