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