Упростим пошагово:

Условие выражения (x->y) -> ((y^z)->(x->y)) можно переписать как (x->y) -> (~y v z -> (x->y))По закону импликации a->b это эквивалентно ~a v b, где ~ - отрицаниеПрименяем закон импликации к x->y: это эквивалентно ~x v yТеперь наше выражение выглядит следующим образом: (~x v y) -> (~y v z -> (~x v y))Далее можно применить теорему о дедукции для упрощения выражения до тавтологии:
Теорема о дедукции: a -> (b -> c) эквивалентно a ^ b -> cПрименяем теорему о дедукции: (~x v y ^ ~y v z) -> (~x v y)Итоговый ответ: (~x v y ^ ~y v z) -> (~x v y)