Логическое выражение ¬Y V ¬((Х V Y) Λ ¬Y) Λ Х Λ ¬Y максимально...

Задание:

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

Решение:

Рассмотрим выражение в скобках: 
¬((Х V Y) Λ ¬Y) = (¬(Х V Y) V Y) = (¬(Х V Y) V Y)= ¬Х Λ ¬Y V Y
Подставим в исходное выражение:
¬Y V (¬Х Λ ¬Y V Y )Λ Х Λ ¬Y= ¬Y V (¬Х Λ ¬Y Λ Х Λ ¬Y) V (Y Λ Х Λ ¬Y)
Обе скобки в последнем выражении содержат Y Λ ¬Y, что всегда ложно, ¬Y V 0 V0= ¬Y 

Ответ: 2