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