Для студентов ИДДО НИУ «МЭИ» по предмету Интеллектуальные информационные системы (ИИС)КМ-1. Алгебра логики высказыванийКМ-1. Алгебра логики высказываний
2023-12-222023-12-22СтудИзба
ДЗ: КМ-1. Алгебра логики высказываний вариант 1
Описание
Задание 1. Построение таблиц истинности.
Построить таблицу истинности для заданной формулы.
Формула 1. A&B ∨¬A&C ∨¬(A&B)&С∨B&¬С
Задание 3.
((A→B∨C)→¬A∨C)→(A&¬C∨B→¬A&¬B)
Задание 4.
Если у больного болит зуб, то рекомендуется принять анальгин; если болит голова, то также рекомендуется принять анальгин. В данном случае у больного болит зуб или голова.
Задание 5.
Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок.
Задание 9.
Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции
Построить таблицу истинности для заданной формулы.
Формула 1. A&B ∨¬A&C ∨¬(A&B)&С∨B&¬С
Задание 3.
((A→B∨C)→¬A∨C)→(A&¬C∨B→¬A&¬B)
Задание 4.
Если у больного болит зуб, то рекомендуется принять анальгин; если болит голова, то также рекомендуется принять анальгин. В данном случае у больного болит зуб или голова.
Задание 5.
Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок.
Задание 9.
Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции
Характеристики домашнего задания
Учебное заведение
ИДДО НИУ «МЭИ» Семестр
Вариант
Просмотров
8
Размер
50,32 Kb
Преподаватели
Список файлов
письменная работа.docx
reatz
22 декабря 2023 в 20:10
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
