Question

Ло­ги­че­ское вы­ра­же­ние ¬Y / ¬((Х V Y) Λ ¬Y) Λ Х Λ ¬Y мак­си­маль­но упpощаетcя до вы­ра­же­ния

1) Х Λ Y
2) ¬Y
3) Х
4) 1

С решением пожалуйста

Answer 1

$lnot Y lor lnot((Xlor Y)land lnot Y)land X land lnot Y \ =lnot Yleft(1+ lnot((Xlor Y)land lnot Y)land X right)=lnot Y cdot 1=lnot Y$
Ответ: 2) ¬Y

Answer 2

Спасибо огромное

Answer 3

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