Информатика. 10 класс

Урок 12. Преобразование логических выражений

Законы алгебры логики

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

Цели и задачи

Цель урока:

— познакомить учащихся с основными законами алгебры логики.

Задачи урока:

— отработать умения осуществлять эквивалентные преобразования логических выражений с использованием законов алгебры логики;

— осуществлять построение логического выражения с данной таблицей истинности и его упрощение.

Узнаем, научимся, сможем

На уроке

мы узнаем:

•  основные законы алгебры логики;

•  что такое логическая функция;

мы научимся:

•  преобразовывать логические выражения;

•  строить логическое выражение с данной таблицей истинности и упрощать его;

мы сможем:

•  составлять дизъюнктивную и конъюнктивную нормальную форму выражения.

Законы алгебры логики

С помощью законов алгебры логики определите, какие из следующих формул являются тождественно-истинными или тождественно ложными. Разместите изображения формул по категориям.

тождественно-истинные

тождественно-ложные

Предметы

По алфавиту По предметным областям

Классы

1 2 3 4 5 6 7 8 9 10 11
angle-skew-bottom mix-copy next-copy-2 no-copy step-1 step-2 step-3 step-4 step-5 step-6 step-6