Уроки 63 - 73
§3.2. Алгебра логики
Содержание урока
3.2.1. Логическое умножение, сложение и отрицание
3.2.2. Логические выражения
Практическое задание «Определение истинности логического выражения»
Задание «Таблица истинности логического выражения»
Равносильные логические выражения
Контрольные вопросы. Задания. Компьютерный практикум
3.2.3. Логические функции
3.2.4. Логические законы и правила преобразования логических выражений
3.2.5. Решение логических задач
3.2.2. Логические выражения
Равносильные логические выражения
Логические выражения, у которых таблицы истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак «=».
Задание «Равносильность логических выражений». Доказать, что логические выражения A & B и A ∨ B равносильны.
Построим сначала таблицу истинности для логического выражения A & B (табл. 3.6).
Таблица 3.6. Таблица истинности логического выражения A & B
Построим теперь таблицу истинности для логического выражения A ∨ B (табл. 3.7).
Таблица 3.7. Таблица истинности логического выражения A ∨ B
Таблицы истинности совпадают, следовательно, логические выражения равносильны:
A & B и A ∨ B.
Следующая страница 
Контрольные вопросы. Задания. Компьютерный практикум
Cкачать материалы урока
