3. Суперсила упрощения

1. Крючок

Спор на 10 секунд. Один инженер собрал схему из 4 микросхем. Второй — из 1. Работают они абсолютно одинаково: одинаковые таблицы истинности, ни отличить, ни поймать.

2. Сквозная метафора: вынести общее за скобки

Помнишь из математики: $3 \cdot 2 + 3 \cdot 4 = 3 \cdot (2 + 4)$? Тройку вынесли за скобку — стало короче. В булевой алгебре можно так же. А ещё круче — можно вывернуть схему наизнанку, поменяв все И на ИЛИ и наоборот, и получить то же самое. Это и есть суперсила.

3. Адаптированное ядро

Распределительный закон — «раскрываем и выносим скобки»

Как в обычной алгебре, И «раскрывается» над ИЛИ:

Но в булевой алгебре есть бонус, которого нет в обычной: ИЛИ тоже распределяется над И:

Второе выглядит странно — в школьной математике так нельзя. А в логике можно, и это часто спасает.

Закон поглощения — «большой кусок съедает маленький»

Если маленький член уже «сидит» внутри большого выражения, большой становится лишним:

Логика простая: если A уже само по себе включает лампу, то приписка «…и ещё B» ничего не добавляет. A поглощает A·B.

Сочетательный (ассоциативный) закон — «скобки внутри одного знака не важны»

Если все двери соединены одинаково (всё И или всё ИЛИ) — группируй как угодно, результат тот же.

Теорема Де Моргана — главная суперсила

Два правила, которые выворачивают выражение наизнанку:

Словами: «отрицание разбивает скобку, меняя И на ИЛИ (и наоборот), и надевает чёрточку на каждую букву».

Проверим по таблице второе правило — это не фокус, а факт:

Столбцы совпадают строка в строку. Значит выражения — одно и то же, хоть и записаны по-разному.

4. Концептуальный чек-ап

1. Что необычного в булевом законе $A + B \cdot C = (A+B)(A+C)$ по сравнению с обычной алгеброй?
2. Почему $A + A \cdot B = A$? Объясни через «лампу уже горит».
3. Как звучит теорема Де Моргана «на пальцах»?
4. Даны только элементы И-НЕ. Можно ли из них сделать НЕ? (Подумай, что будет, если оба входа И-НЕ соединить.)
5. Совпадение двух столбцов в таблице истинности — это доказательство или совпадение?

5. Разбор задачи

Дано: выражение $\overline{\overline{A} \cdot \overline{B}}$. Найти: упростить.

6. Практика на верстаке

Де Морган: две схемы — один результат

Закон де Моргана утверждает, что $\overline{A \cdot B}$ и $\overline{A} + \overline{B}$ — это одно и то же. На бумаге это строчка, а вот доказательство: две разные схемы, которые ведут себя одинаково при любых входах.

$ 1 0.000005 10.20 50 5 43 5e-11
L 128 168 80 168 0 0 false 5 0
L 128 200 80 200 0 0 false 5 0
150 256 184 320 184 0 2 2 0 5
w 128 168 256 168 0
w 128 200 256 200 0
M 384 184 432 184 0 2.5
w 320 184 384 184 0

$ 1 0.000005 10.20 50 5 43 5e-11
L 144 128 96 128 0 0 false 5 0
L 144 240 96 240 0 0 false 5 0
I 208 128 272 128 0 0.01 5
I 208 240 272 240 0 0.01 5
w 144 128 208 128 0
w 144 240 208 240 0
150 336 184 400 184 0 1 2 0 5
w 272 128 320 128 0
w 320 128 320 168 0
w 320 168 336 168 0
w 272 240 320 240 0
w 320 240 320 200 0
w 320 200 336 200 0
M 464 184 512 184 0 2.5
w 400 184 464 184 0

Открой обе схемы рядом (в двух вкладках) и прогони одинаковые комбинации входов. Выходы совпадут во всех четырёх случаях.

В этом и сила закона: слева один корпус микросхемы, справа — три вентиля. Инженер, увидевший правую схему, немедленно заменит её левой: меньше деталей, меньше задержка, меньше цена. Упрощение по де Моргану — это не математическое упражнение, а экономия на реальной плате.

7. Разноуровневые задания

1. (Воспроизведение) Запиши оба правила Де Моргана.
2. (Воспроизведение) Чему равно $A \cdot (A + B)$?
3. (Понимание) Почему из элементов И-НЕ можно собрать вообще любую логику, а из одних И — нет?
4. (Понимание) Мы увидели «иголки» на выходе. Почему на бумаге их нет, а в железе есть?
5. (Применение) С помощью Де Моргана и распределительного закона упрости $\overline{\overline{A} + \overline{B}} + A \cdot C$ и запиши, какой закон применяешь на каждом шаге.

8. Итог урока

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

Дополнительные вопросы