Упростить логическое выражение: ((X^Y)->Z)->(!Xv(Y->Z)) Уравнять логическое выражение: X^Yv(X->Z)v(X->Y)=Yv!XvZ Нужно полное и подробно...

Упростить логическое выражение: ((X^Y)->Z)->(!Xv(Y->Z))
Уравнять логическое выражение:
X^Yv(X->Z)v(X->Y)=Yv!XvZ

Нужно полное и подробное решение, желательно с ссылкой на формулы
^ - конъюнкция
v - дизъюнкция
! - отрицание
-> - импликация