§3.2. Алгебра логики | Урок 63 часть 24

Планирование уроков на учебный год (по учебнику Н.Д. Угриновича, профильный уровень)


Уроки 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качать материалы урока







Наверх