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