Вычислите: ( (X∨Y ) ⇒ Y ) & (1 ∨ Y) ⇒¬Y

Question

Вычислите: ( (X∨Y ) ⇒ Y ) & (1 ∨ Y) ⇒¬Y

Answer 1

Выражение можно упростить:
( (X∨Y ) ⇒ Y ) & (1 ∨ Y) ⇒¬Y =
(¬X∨Y ) & (1 ∨ Y) ⇒¬Y  =
(¬X∨Y ) ⇒¬Y =
X & ¬Y v ¬Y =
¬Y

Значит для любого X если Y = 0, то значение выражения = 1 и наоборот, если Y = 1, то значение выражения = 0