Является ли данная формула тождественно истинной, тождественно ложной, выполнимой? 1. (a ∧ b) → (a ∨ b) 2. (a ∨ b) → (a ∧ b) 3. (a ∨ (b ↔ a)) ∧ (a → b)

Импликация раскрывается так:
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
Формула является выполнимой

Если бы поезд шел с первоначальной скоростью (х км/час),
то он бы этот путь за (80/х) часов.
поезд скорость увеличил, значит путь за меньшее время (меньше на 24 минуты))) 80/(х+10)
(80/х) - (80/(х+10)) = 24/60 часа
800/(х*(х+10)) = 2/5
2000 = х*х + 10х
х1 = -50 (не имеет смысла)
х = 40 км/час
ПРОВЕРКА: со скоростью 40 км/час поезд 80 км пройдет за 80/40 = 2 часа
со скоростью 40+10 = 50 км/час поезд 80 км пройдет за 80/50 = 8/5 часа = 1 час 3/5 часа = 1 час 60*3/5 часа = 1 час 36 минут
это на 60-36 = 24 минуты быстрее --- время наверстает)))

Если бы поезд шел с первоначальной скоростью (х км/час),
то он бы этот путь за (80/х) часов.
поезд скорость увеличил, значит путь за меньшее время (меньше на 24 минуты))) 80/(х+10)
(80/х) - (80/(х+10)) = 24/60 часа
800/(х*(х+10)) = 2/5
2000 = х*х + 10х
х1 = -50 (не имеет смысла)
х = 40 км/час
ПРОВЕРКА: со скоростью 40 км/час поезд 80 км пройдет за 80/40 = 2 часа
со скоростью 40+10 = 50 км/час поезд 80 км пройдет за 80/50 = 8/5 часа = 1 час 3/5 часа = 1 час 60*3/5 часа = 1 час 36 минут
это на 60-36 = 24 минуты быстрее --- время наверстает)))