Для студентов НИУ «МЭИ» по предмету Интеллектуальные информационные системы (ИИС)Алгебра логики высказываний.Алгебра логики высказываний.
2024-12-142024-12-14СтудИзба
Интеллектуальные информационные системы - КМ-1. Алгебра логики высказываний. Контрольная работа
Описание
Задача решена на оценку 5. КМ-1. Алгебра логики высказываний. Контрольная работа.
Условие задачи:
1. Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок.
2. Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ) и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять аналитически.
![]()
3. Для заданной формулы алгебры логики построить таблицу истинности.
![]()
4. Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюции.
Формализация рассуждения.
![]()
Показать/скрыть дополнительное описание
Условие задачи:
1. Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок.
2. Заданную формулу привести к дизъюнктивной нормальной форме (ДНФ) и к конъюнктивной нормальной форме (КНФ). Преобразования выполнять аналитически.
3. Для заданной формулы алгебры логики построить таблицу истинности.
4. Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюции.
Формализация рассуждения.
Показать/скрыть дополнительное описаниеИнтеллектуальные информационные системы - КМ-1. Алгебра логики высказываний. Контрольная работа.
Характеристики решённой задачи
Учебное заведение
НИУ «МЭИ» Номер задания
Программы
Просмотров
3
Качество
Идеальное компьютерное
Размер
36,28 Kb
Список файлов
Алгебра логики высказываний.docx
Алёна Руденко
alena.rudenko.88
14 декабря 2024 в 20:14
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
