((A→B)→A)→B
Упростим по шагам:
A→B≡¬A∨B
Тогда:
((A→B)→A)→B=((¬A∨B)→A)→B
Снова раскрываем импликацию:
(¬A∨B)→A≡¬(¬A∨B)∨A
По законам де Моргана:
¬(¬A∨B)=A∧¬B
Значит:
(A∧¬B)∨A=A
Тогда всё выражение становится:
A→B
Или в виде дизъюнкции:
¬A∨B
Ответ:
A→B
(эквивалентно ¬A∨B).