1. Главная
  2. Библиотека
  3. Информатика
  4. Формализовать представленные рассуждения в виде формул алгебры логики. Либо Петя поехал отдыхать на юг, либо, если Петя не...
  • 👋 Решение задач

  • 📚 Информатика

решение задачи на тему:

Формализовать представленные рассуждения в виде формул алгебры логики. Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома. Если Петя поехал отдыхать на юг, то он сдал сессию вовремя.

Дата добавления: 20.12.2023

Условие задачи

Формализовать представленные рассуждения в виде формул алгебры логики.

Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома. Если Петя поехал отдыхать на юг, то он сдал сессию вовремя. Следовательно, если Петя не сдал сессию вовремя, то ему пришлось каникулы провести дома. 

Ответ

Введем буквенные обозначения для атомарных высказываний:

Потяни

Сводка по ответу

  • Загружено студентом
  • Проверено экспертом
  • Использовано для обучения AI
  • Доступно по подписке Кампус+

Купи подписку Кампус+ и изучай ответы

Кампус Библиотека

  • Материалы со всех ВУЗов страны

  • 1 000 000+ полезных материалов

  • Это примеры на которых можно разобраться

  • Учись на отлично с библиотекой