Ответы на вопрос:
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
-
Быстро
Мгновенный ответ на твой вопрос -
Точно
Бот обладает знаниями во всех сферах -
Бесплатно
Задай вопрос и получи ответ бесплатно
Популярно: Другие предметы
-
magomedova1710223.06.2021 12:10
-
savitar22806.04.2022 05:32
-
KLIN5008.07.2021 06:51
-
кисикмиксер10.11.2022 13:52
-
tryfest21.10.2020 09:03
-
mimidoghoz12.01.2020 10:38
-
uliana2007zvez10.08.2021 07:33
-
Danyka4702.05.2022 21:54
-
yuriygabr27.06.2022 23:58
-
macsimys115.07.2021 06:58
Есть вопросы?
-
Как otvet5GPT работает?
otvet5GPT использует большую языковую модель вместе с базой данных GPT для обеспечения высококачественных образовательных результатов. otvet5GPT действует как доступный академический ресурс вне класса. -
Сколько это стоит?
Проект находиться на стадии тестирования и все услуги бесплатны. -
Могу ли я использовать otvet5GPT в школе?
Конечно! Нейросеть может помочь вам делать конспекты лекций, придумывать идеи в классе и многое другое! -
В чем отличия от ChatGPT?
otvet5GPT черпает академические источники из собственной базы данных и предназначен специально для студентов. otvet5GPT также адаптируется к вашему стилю письма, предоставляя ряд образовательных инструментов, предназначенных для улучшения обучения.