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

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

Вязаная кофта связанная кофта, плетёная корзина – сплетённая корзина, мощёная улица – вымощенная улица, гружёная баржа – нагруженная баржа, крашеное полотно – покрашенное полотно, мороженое мясо – замороженное мясо, пилёный сахар – распиленный сахар, кипячёное молоко – вскипячённое молоко, мочёные яблоки – замоченные яблоки.

Мой брат очень любит пить кипячёное молоко.  Вскипячённое молоко уже стояло на столе, когда дети проснулись.  Возле берега реки стояла огромная груженая баржа.  Когда мы вернулись к реке, мы увидели две разгруженные баржи. По недавно вымощенной улице ехал груженый самосвал.  В холодильнике давно лежит замороженное мясо.

Причастия с буквами а и я на месте пропусков перед нн и н:  засеянное, разрезан, вспаханное, выкован, обязанный, спрятанный, замешанный (в плохом деле).

Причастия с буквой е на месте пропусков перед нн и н:     Занавешенное, подвешенная, намыленный, разреженные (всходы), выточен, проглоченный, увиденный, потушенный, построена, вытащенный, затоплен, сколоченный, подаренный, замешенное (тесто.

Вспаханное поле (х), увиденная картина (х), потушенный свет (х).

Ворота выкованы известным в нашей области кузнецом.  Танк был затоплен во время Великой Отечественной войны