Алгебра логики высказываний. Контрольная работа

Раздел
Программирование
Просмотров
57
Покупок
0
Антиплагиат
Не указан
Размещена
5 Июн в 23:58
ВУЗ
Не указан
Курс
Не указан
Стоимость
500 ₽
Демо-файлы   
2
png
Снимок экрана 2024-06-05 235836 Снимок экрана 2024-06-05 235836
11.4 Кбайт 11.4 Кбайт
png
Снимок экрана 2024-06-05 235808 Снимок экрана 2024-06-05 235808
15.4 Кбайт 15.4 Кбайт
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
12 вариант (2)
30.4 Кбайт 500 ₽
Описание

Вариант 12

Задание 1. Построение таблиц истинности. Построить таблицу истинности для заданной формулы.

Задание 2. Представить в ДНФ и в КНФ следующие формулы

Задание 3. Формализовать представленные рассуждения в виде формул алгебры логики.

Если команда соперника сильна, то в финал выйти сложно. Команда соперника сильна или физическая подготовка команды слабая. Если физическая подготовка команды слабая, то тренер недостаточно уделяет внимания спортсменам. Однако тренер уделяет достаточно внимания спортсменам. Значит, в финал сложно выйти.

Задание 4 Для формализованного в задаче 3 рассуждения доказать логическое следствие заключения из посылок

Задание 5. Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции.


Вам подходит эта работа?
Похожие работы
Интеллектуальные информационные сети
Контрольная работа Контрольная
31 Окт в 21:57
13 +1
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
31 Окт в 21:54
13
0 покупок
Интеллектуальные информационные сети
Презентация Презентация
30 Окт в 13:36
18
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
18 Окт в 18:11
21
0 покупок
Другие работы автора
Pascal
Лабораторная работа Лабораторная
9 Июн в 18:49
58
0 покупок
Pascal
Лабораторная работа Лабораторная
9 Июн в 18:46
69
0 покупок
Pascal
Лабораторная работа Лабораторная
9 Июн в 18:43
43
0 покупок
Искусственный интеллект
НИР НИР
8 Июн в 00:53
93
0 покупок
Искусственный интеллект
НИР НИР
7 Июн в 17:56
113
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:25
118 +1
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:21
104
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:20
50
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:16
46
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:15
52 +1
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:11
52
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 02:07
44
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 01:49
65
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 01:47
48
0 покупок
Интеллектуальные информационные сети
Ответы на билеты Билеты
6 Июн в 01:44
36
0 покупок
Интеллектуальные информационные сети
Ответы на билеты Билеты
6 Июн в 01:42
62
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 01:40
42
0 покупок
Интеллектуальные информационные сети
Контрольная работа Контрольная
6 Июн в 01:35
651
0 покупок
Темы журнала
Показать ещё
Прямой эфир