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