((x∨y)∧¬x)⇒y упростить выражение

f = ((x∨y)∧¬x) → y

(x∧¬x ∨ y∧¬x) → y

(0 ∨ y∧¬x) → y

(y∧¬x) → y

¬(y∧¬x) ∨ y

¬y ∨ y ∨ x   # ¬y ∨ y ≡ 1 - закон исключённого третьего

1 ∨ x

1 - ответ.

Проверка:

Предположим, что F: ((x∨y)∧¬x) → y , тогда

T: (x∨y)∧¬x

F: y

T: x∨y

T: ¬x

F: x

T: x ⊥

T: y ⊥

Возникают противоречия, ветка закрыта.