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