Создан заказ №11094603
25 сентября 2024
КМ-1. Алгебра логики высказываний. Контрольная работа
Как заказчик описал требования к работе:
Контрольная выполняется в формате:
Задание 1
Условие задачи
Решение с пояснениями.
Ответ.
Примечание
1.Варианты индивидуальные.
2. В таблице заданий даны примеры решения задач на данную тему, ознакомьтесь.
3. Оформление работы надо делать по приведённой схеме. Преподавателю высылаете файл в формате
word, pdf. Другие форматы не рассматриваются.
Задачи:
Для заданной формулы алгебры логики построить таблицу истинности.
(A&B∨A&¬B&C∨A&¬B&¬C∨A&¬C)&B&C
Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ)
и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять
аналитически.
(A&B→(A∨¬C→¬B))→(A∨C→B∨¬C)
Формализовать представленные рассуждения в виде формул алгебры
логики. Выделить атомарные высказывания и связки. Определить посылки и
заключение в заданном рассуждении.
Доказать справедливость рассуждения (взять свой вариант из задания 3)
методом резолюции
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
26 сентября 2024
Заказ завершен, заказчик получил финальный файл с работой
5
КМ-1. Алгебра логики высказываний. Контрольная работа.docx
2024-09-29 09:52
Последний отзыв студента о бирже Автор24
Общая оценка
4.7
Положительно
Спасибо Вам огромное! Очень удобно, а самое главное очень быстро и работа на 5+. В следующую сессию ждите!
Хочешь такую же работу?
300 ₽
