Уроки 63 - 73
§3.2. Алгебра логики
Содержание урока
3.2.1. Логическое умножение, сложение и отрицание
3.2.2. Логические выражения
3.2.3. Логические функции
Логическое следование (импликация)
Практическое задание «Функция импликации»
Логическое равенство (эквивалентность)
Практическое задание «Функция эквивалентности»
Контрольные вопросы. Задания. Компьютерный практикум
3.2.4. Логические законы и правила преобразования логических выражений
3.2.5. Решение логических задач
3.2.3. Логические функции
Практическое задание «Функция импликации»
Выразить функцию импликации F14 через базовые логические функции. Доказать методом сравнения таблиц истинности, что функция импликации равносильна логическому выражению А ∨ B. Построить таблицу истинности функции импликации в электронных таблицах.
Построим таблицу истинности логического выражения А ∨ B (табл. 3.10).
Таблица 3.10. Таблица истинности логического выражения А ∨ B
Таблицы истинности функции_ импликации F14 (см. табл. 3.9) и логического выражения А ∨ B (см. табл. 3.10) совпадают, что и требовалось доказать.
Получение таблицы истинности функции импликации
1. В электронных таблицах создать заготовку таблицы истинности функции импликации: создать заголовки и ввести в столбцы А и В значения логических аргументов.
2. В столбце выразить логическую функцию F14 = А ∨ B через логические функции электронных таблиц Microsoft Excel =ИЛИ(НЕ(А2);В2) (в OpenOffice.org Calc =OR(NOT(A2);B2).
Следующая страница 
Логическое равенство (эквивалентность)
Cкачать материалы урока
