Создан заказ №9684074
10 апреля 2023
Контрольная по дисциплине "Математическая логика и теория алгоритмов"
Как заказчик описал требования к работе:
Задание №1. Формализовать высказывание. Построить таблицу истинности. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса», 3) «Импликация» и «Константа нуля»(«0»).
Высказывание: «Неверно, что если я сдам зачет
по математической логике, то пойду в казино или в кино».
Задание №2. Проверить аргумент методом резолюций. Получить все следствия из данных посылок. (ОБЯЗАТЕЛЬНО! Расписать какие законы алгебры логики, операции, формулы равносильности были использованы. ДЛЯ КАЖДОГО ДЕЙСТВИЯ НЕОБХОДИМЫ ПОЯСНЕНИЯ!) Аргумент: «Если функция линейная или монотонная, то если она самодвойственна, то сохраняет константу нуля. Данная функция и нелинейна, и немонотонна. Следовательно, она самодвойственна и не сохраняет константу нуля».
ДЛЯ РЕШЕНИЯ ВТОРОГО ЗАДАНИЯ ПРИКЛАДЫВАЮ ГОТОВЫЙ ПРИМЕР, НЕОБХОДИМО ВЫПОЛНИТЬ В ТОМ ЖЕ ВИДЕ
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
11 апреля 2023
Заказ завершен, заказчик получил финальный файл с работой
5
Контрольная по дисциплине "Математическая логика и теория алгоритмов".docx
2023-04-14 19:44
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
очень быстро и все верно!спасибо большое за помощь!)надеюсь в дальнейшем мы еще пообщаемся!!!)
Хочешь такую же работу?
300 ₽
