Записать следующие утверждения в виде формул логики высказываний, построить таблицы истинности и определить обще значимость, выполнимость (невыполнимость) и число моделей полученных формул:
а) Если Сидоров поедет на автобусе, то его уволят с работы, если автобус опоздает.
б) Необходимое и достаточное условие для жизни растений состоит в наличии питательной почвы, чистого воздуха и солнечного света.
в) Если «Торпедо» или «Динамо» проиграют, а «Локомотив» выиграет, то «Спартак» потеряет первое место.
г) Если рабочие или администрация упорствуют, то забастовка будет урегулирована тогда и только тогда, когда правительство добьется судебного запрещения, но войска не будут посланы на завод.
д) Если вечером будет туман или снег, то Джон или останется дома или должен будет взять такси.
е) Либо рост инфляции эквивалентен снижению уровня жизни, либо рост производства влечет то, что уровень жизни не снижается.
ж) Если будет идти дождь или снег, то футбольный матч либо не состоится, либо его результат не будет отражать соотношение сил.
з) Если животное млекопитающее и имеет острые зубы и имеет клыки и не ест траву, то это хищник.
студент
Результаты поиска Веб-результат со ссылками на сайт Волгоградский государственный технический униве
Работа выполнена на отлично,специалист отзывчивый всегда на связи,всем рекомендую.
Лена
ТИУ филиал в г.сургуте
Работа выполнена раньше срока, исполнитель большой молодец! Всё супер! 5+
Ольга
МГМСУ
Спасибо огромное , выполнено с подробным описанием и досрочно ! Рекомендую !
Наталья
Московский Финансовый университет при правительстве РФ
Спасибо за оперативность, после семинара вечером напишу правильность решения.