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 ⊥
Возникают противоречия, ветка закрыта.
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 ⊥
Возникают противоречия, ветка закрыта.