Задание 1. Построение таблиц истинности. Построить таблицу истинности для заданной формулы.
Задание 3. Представить в ДНФ и в КНФ следующие формулы
Задание 4 Формализовать представленные рассуждения в виде формул алгебры логики
Задание 5 Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок
Задание 9 III. Доказать справедливость рассуждения (взять свой вариант из задания 4) методом резолюции
Везде нужно сделать вариант №18
| Гарантия на работу | 1 год |
| Средний балл | 4.53 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |