logo
Инфа по Электронике / лекции5

24.5 Теоремы булевой алгебры

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

1.

2.

3.

4.

5.

6.

7.

8.

9.

10.

11.

12.

Выражения 8 носят название теорем Де-Моргана; выражения 9 – теорем поглощения, выражения 12 – теорем склеивания. Справедливость всех теорем может быть легко доказана непосредственной подстановкой.

Лекция № 25

ОСНОВНЫЕ ХАРАКТЕРИСТИКИ ИНТЕГРАЛЬНЫХ СХЕМ