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

beka1098

28.02.2022 02:47

Есть ответ 👍

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

207

455

Посмотреть ответы 2

1Velkon1

Информатика

4,8(100 оценок)

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 ⊥

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

timurgu08

Информатика

4,6(41 оценок)

1)63+55=118( никто не предпочитает ничего вдвойне 2)118-83=35( и квесты и симуляторы

Задай свой вопрос

Как otvet5GPT работает?

otvet5GPT использует большую языковую модель вместе с базой данных GPT для обеспечения высококачественных образовательных результатов. otvet5GPT действует как доступный академический ресурс вне класса.
Сколько это стоит?

Проект находиться на стадии тестирования и все услуги бесплатны.
Могу ли я использовать otvet5GPT в школе?

Конечно! Нейросеть может помочь вам делать конспекты лекций, придумывать идеи в классе и многое другое!
В чем отличия от ChatGPT?

otvet5GPT черпает академические источники из собственной базы данных и предназначен специально для студентов. otvet5GPT также адаптируется к вашему стилю письма, предоставляя ряд образовательных инструментов, предназначенных для улучшения обучения.