Ответы на вопрос:
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 ⊥
Возникают противоречия, ветка закрыта.
Реши свою проблему, спроси otvet5GPT
-
Быстро
Мгновенный ответ на твой вопрос -
Точно
Бот обладает знаниями во всех сферах -
Бесплатно
Задай вопрос и получи ответ бесплатно
Популярно: Другие предметы
-
Марося24.07.2021 04:40
-
lizniki8225.04.2022 12:11
-
tanyagrey0308.06.2020 11:10
-
nastiabl5ct12.06.2020 22:30
-
МИЛ56715.05.2020 22:13
-
LianaIlyasova06.04.2022 05:51
-
asikg2713.12.2021 02:14
-
anny6007.05.2022 22:40
-
akon170830.06.2021 09:44
-
12345778999987622.04.2021 04:27
Есть вопросы?
-
Как otvet5GPT работает?
otvet5GPT использует большую языковую модель вместе с базой данных GPT для обеспечения высококачественных образовательных результатов. otvet5GPT действует как доступный академический ресурс вне класса. -
Сколько это стоит?
Проект находиться на стадии тестирования и все услуги бесплатны. -
Могу ли я использовать otvet5GPT в школе?
Конечно! Нейросеть может помочь вам делать конспекты лекций, придумывать идеи в классе и многое другое! -
В чем отличия от ChatGPT?
otvet5GPT черпает академические источники из собственной базы данных и предназначен специально для студентов. otvet5GPT также адаптируется к вашему стилю письма, предоставляя ряд образовательных инструментов, предназначенных для улучшения обучения.