Повідомлення на тему Символіка української вишивки та писанки орнаменти годинних виробів фресок та мозаїка Софії Київської книжних мініатюр як бачення світу укрпїнцям

157

253

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

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

Stepanych2017

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

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 работает?

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

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

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

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