Есть ответ 👍

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

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

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


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

  • Быстро
    Мгновенный ответ на твой вопрос
  • Точно
    Бот обладает знаниями во всех сферах
  • Бесплатно
    Задай вопрос и получи ответ бесплатно

Популярно: Другие предметы

Caktus Image

Есть вопросы?

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

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

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

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

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

Подпишись на наш телеграмм канал

GTP TOP NEWS