Содержание урока:
§ 20 Преобразование логических выражений
20.1. Основные законы алгебры логики. Пример 1
20.1. Основные законы алгебры логики. Примеры 2 и 3
Способ определения истинности логического выражения путём построения его таблицы истинности становится неудобным при увеличении количества логических переменных, т. к. за счёт существенного увеличения числа строк таблицы становятся громоздкими. В таких случаях выполняются преобразования логических выражений в равносильные. Для этого используют свойства логических операций, которые иначе называют законами алгебры логики.