Алгебра логики высказываний
Раздел
Программирование
Просмотров
320
Покупок
0
Антиплагиат
Не указан
Размещена
6 Июн 2024 в 02:21
ВУЗ
Не указан
Курс
Не указан
Стоимость
500 ₽
Файлы работы
1
Каждая работа проверяется на плагиат, на момент публикации
уникальность составляет не менее 40% по системе проверки eTXT.
zadania1_3_4_5_9
27 Кбайт
Описание
Вариант 18
Задание 1. Построение таблиц истинности. Построить таблицу истинности для заданной формулы.
Задание 3. Представить в ДНФ и в КНФ следующие формулы
Задание 4 Формализовать представленные рассуждения в виде формул алгебры логики
Если 2 – простое число, то это наименьшее простое число. Если 2 – наименьшее простое число, то 1 есть простое число. Число 1 не есть простое число. Следовательно, 2 не есть простое число.
Задание 5 Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок
Задание 9 III. Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции
Вам подходит эта работа?
Похожие работы
Другие работы автора
Предыдущая работа
Следующая работа