Занятие 5 Равносильные преобразования формул логики
![]()
|
Практическое занятие № 5 Равносильные преобразования формул логики Цель: научиться выполнять упрощение формул логики, применяя равносильности; определять истинность формул таблицей истинности. Теоретическая часть ![]() Замена импликации и эквивалентности ![]() Пример. Упростить формулу ![]() ![]() Сравнить таблицы истинности формулы и ее упрощенной формы. ![]() ![]() Вывод. Результат таблиц совпали, следовательно, выполненные преобразования верны. Задание 1. Упростить предложенную формулу и построить таблицы истинности (по образцу примера). Сделать выводы. Формулу а) изобразить диаграммой Эйлера-Венна а) ![]() ![]() Контрольные вопросы 1.Закон двойного отрицания 2. Законы идемпотентности 3. Коммутативные законы 4. Ассоциативные законы 5. Дистрибутивные законы 6. Законы де Моргана 7. Законы нуля и единицы 8. Законы поглощения 9. Закон исключенного третьего и закон противоречия 10. Формула преобразования импликации 11. Формула преобразования эквивалентности |