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



Уроки 63 - 73
§3.2. Алгебра логики






Содержание урока

3.2.1. Логическое умножение, сложение и отрицание
3.2.2. Логические выражения
3.2.3. Логические функции

Логические функции

Логическое следование (импликация)

Практическое задание «Функция импликации»

Логическое равенство (эквивалентность)

Практическое задание «Функция эквивалентности»

Контрольные вопросы. Задания. Компьютерный практикум

3.2.4. Логические законы и правила преобразования логических выражений
3.2.5. Решение логических задач

3.2.3. Логические функции


Логическое равенство (эквивалентность)


Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «... тогда и только тогда, когда ...».

Логическая операция эквивалентности «А эквивалентно В» обозначается А~В и выражается с помощью логической функции F10, которая задается соответствующей таблицей истинности (табл. 3.11).

Таблица 3.11. Таблица истинности логической функции эквивалентности

Составное высказывание, образованное с помощью логической операции эквивалентности, истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

Рассмотрим, например, два высказывания: А = «Компьютер может производить вычисления» и В = «Компьютер включен». Составное высказывание, полученное с помощью операции эквивалентности, истинно, когда оба высказывания либо истинны, либо ложны:

«Компьютер может производить вычисления тогда и только тогда, когда компьютер включен».

«Компьютер не может производить вычисления тогда и только тогда, когда компьютер не включен».

Составное высказывание, полученное с помощью операции эквивалентности, ложно, когда одно высказывание истинно, а другое ложно:

«Компьютер может производить вычисления тогда и только тогда, когда компьютер не включен».

«Компьютер не может производить вычисления тогда и только тогда, когда компьютер включен».



Следующая страница Практическое задание «Функция эквивалентности»



Cкачать материалы урока







Наверх