Уроки 63 - 73
§3.2. Алгебра логики
Содержание урока
3.2.1. Логическое умножение, сложение и отрицание
3.2.2. Логические выражения
3.2.3. Логические функции
3.2.4. Логические законы и правила преобразования логических выражений
Правила алгебраических преобразований
Задание «Преобразование логического выражения»
Задание «Решение логического уравнения»
3.2.5. Решение логических задач
3.2.4. Логические законы и правила преобразования логических выражений
Задание «Решение логического уравнения»
Найти значение логической переменной X из логического уравнения A & (B ∨ B) = A & 1.
В соответствии с приоритетами выполнения логических операций расставим скобки в левой части логического уравнения:
X ∨ В ∨ X ∨ А = B.
Для преобразования левой части уравнения воспользуемся для первых и вторых скобок законом де Моргана для логического сложения и для вторых скобок законом двойного отрицания:
(X & А) ∨ (X & А) = B.
Согласно распределительному закону для логического сложения, можно вынести X за скобки:
X & (А ∨ А) = B.
Согласно закону исключенного третьего, А ∨ А = 1 и уравнение примет вид:
X & 1 = В.
Согласно правилу исключения констант, X & 1 = X и уравнение примет вид:
X = В.
Инвертируем левую и правую части уравнения и получим решение уравнения:
X = B.
Следующая страница 
Контрольные вопросы. Задания
Cкачать материалы урока
