Регистрация
zxvgg
03.04.2023 10:53
Информатика
Есть ответ 👍

Гиперсілтемеге көмекші сөз қою реті

275
399
Посмотреть ответы 1

Ответы на вопрос:

helpmepl2
helpmepl2
4,6(56 оценок)

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 ⊥

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

Популярно: Информатика