1) Упростите: ¬(X∨Y) ∨Y =

Для решения данного задания необходимо упростить логическое выражение, используя законы логики.

1) Закон де Моргана: ¬(X∨Y) = ¬X ∧ ¬Y

2) Исходное выражение: ¬(X∨Y) ∨Y = (¬X ∧ ¬Y) ∨ Y

3) Закон дистрибутивности: (¬X ∧ ¬Y) ∨ Y = (¬X ∨ Y) ∧ (¬Y ∨ Y)

4) Закон исключенного третьего: (¬Y ∨ Y) = ИСТИНА

5) (¬X ∨ Y) ∧ ИСТИНА = ¬X ∨ Y

Ответ: ¬X ∨ Y