Ответ: Спасибо огромное

Ответ: Пожалуйста. Просто вынесли «не У» за скобки

Ответ: [tex]\lnot Y \lor \lnot((X\lor Y)\land \lnot Y)\land X \land \lnot Y \\ =\lnot Y\left(1+ \lnot((X\lor Y)\land \lnot Y)\land X ight)=\lnot Y \cdot 1=\lnot Y[/tex]Ответ: 2) ¬Y