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