Для студентов ИДДО НИУ «МЭИ» по предмету Интеллектуальные информационные системы (ИИС)Построить таблицу истинностиПостроить таблицу истинности
4,955168
2025-09-272025-09-27СтудИзба
ПИСЬМЕННАЯ РАБОТА КМ- 1 по дисциплине «ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ» Вариант № 5
Задача КМ-1: Построить таблицу истинности вариант 5
Описание
Работа сдана на оценку 5. Вариант 5.
Сами задания в работе:
Задание 1. Построить таблицу истинности.
Условие задачи:
Построить таблицу истинности для формулы:
F(A,B,C) = (A&B ∨ A&¬B&C ∨ A&¬B&¬C ∨ A&¬C) & (B ∨ C)
Задание 2. Приведение к ДНФ и КНФ.
Условие задачи:
Заданная формула:
F = ((¬C&¬B → A) → C) → (A ∨ ¬C) & B
Задание 3. Формализация рассуждения.
Условие задачи:
Формализовать представленные рассуждения в виде формул алгебры логики. Выделить атомарные высказывания и связки. Определить посылки и заключение в заданном рассуждении.
Задание 4. Доказательство логичесчкого следования.
Условие задачи:
Для формализованного в Задании 3 рассуждения доказать логическое следствие заключения из посылок.
Задание 5. Доказательство методом резолюции.
Условие задачи:
Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюцииПоказать/скрыть дополнительное описание
Сами задания в работе:
Задание 1. Построить таблицу истинности.
Условие задачи:
Построить таблицу истинности для формулы:
F(A,B,C) = (A&B ∨ A&¬B&C ∨ A&¬B&¬C ∨ A&¬C) & (B ∨ C)
Задание 2. Приведение к ДНФ и КНФ.
Условие задачи:
Заданная формула:
F = ((¬C&¬B → A) → C) → (A ∨ ¬C) & B
Задание 3. Формализация рассуждения.
Условие задачи:
Формализовать представленные рассуждения в виде формул алгебры логики. Выделить атомарные высказывания и связки. Определить посылки и заключение в заданном рассуждении.
Задание 4. Доказательство логичесчкого следования.
Условие задачи:
Для формализованного в Задании 3 рассуждения доказать логическое следствие заключения из посылок.
Задание 5. Доказательство методом резолюции.
Условие задачи:
Доказать справедливость рассуждения (взять свой вариант из задания 3) методом резолюцииПоказать/скрыть дополнительное описание
ПИСЬМЕННАЯ РАБОТА КМ- 1 по дисциплине «ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ» Вариант № 5.
Характеристики решённой задачи
Учебное заведение
ИДДО НИУ «МЭИ» Номер задания
Вариант
Программы
Просмотров
2
Качество
Идеальное компьютерное
Размер
33,89 Kb
Список файлов
ИИС_KM1_вар_5.docx
Алёна Руденко
alena.rudenko.88
27 сентября в 13:33
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
