Skip to content

4. От запутанной схемы к одному вентилю

1. Крючок

Вот схема из 12 выключателей, соединённых так, что глазами в ней не разобраться: последовательности, параллели, отрицания, скобки в скобках.

Y=AB(A+C)(B+AC+D)E Y = A \cdot B \cdot (A + \overline{C}) \cdot (B + A \cdot C + D) \cdot E
Спор на 10 секунд: сколько выключателей на самом деле влияют на лампу? Интуиция кричит «все 12!». А математика сейчас докажет, что реально работают только триA, B и E. Остальные девять — балласт. Сегодня мы это докажем и проверим на железе.

2. Сквозная метафора: чемодан перед поездкой

Запутанная схема — как чемодан, набитый «на всякий случай». Наша задача — вытряхнуть всё лишнее, оставив только то, без чего не обойтись. Каждый закон Буля — это рука, которая достаёт из чемодана очередную ненужную вещь. В конце останется лёгкий рюкзак: ABEA \cdot B \cdot E.

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

Мы не будем зубрить весь длинный вывод. Важно видеть приёмы, которыми чемодан разгружается.

Приём 1. Раскрыть скобки (распределительный закон)

Перемножаем скобки, как в алгебре: появляется много членов вида ABA \cdot B \cdot \ldots

Приём 2. Схлопнуть повторы (идемпотентность)

Как только в члене встречается AAA \cdot A, он превращается в AA:

AA=A A \cdot A = A

Множители-двойники исчезают.

Приём 3. Съесть мелочь (поглощение)

Если рядом стоят A и A·(что-то), большой член поглощает маленький:

A+AX=A A + A \cdot X = A

Именно так отваливаются целые куски выражения.

Прогоняя эти три приёма по кругу, гигантское выражение неумолимо тает до:

Y=ABE Y = A \cdot B \cdot E

Три выключателя, соединённые последовательно (И). Всё. Остальные девять на лампу не влияют никак — что подтвердит верстак.

Словарь вентилей (шпаргалка)

Каждой операции соответствует «кирпичик» — логический вентиль:

ОперацияФормулаВентильМикросхема 74HC
ИABA \cdot BAND08
ИЛИA+BA + BOR32
НЕA\overline{A}NOT04
И-НЕAB\overline{A \cdot B}NAND00
ИЛИ-НЕA+B\overline{A + B}NOR02
Исключающее ИЛИABA \oplus BXOR86

Из двух входов можно составить 16 разных функций — от «всегда 0» до «всегда 1». Но, как мы уже знаем, всех их хватает собрать из одного универсального вентиля.

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

  1. Сколько выключателей из 12 реально влияют на лампу и почему остальные — балласт?
  2. Какой приём убирает AAA \cdot A?
  3. Что делает поглощение с выражением A+ACDA + A \cdot C \cdot D?
  4. В какой вентиль превратится итог Y=ABEY = A \cdot B \cdot E?
  5. Зачем инженеру вообще проходить весь этот вывод, если схема «и так работает»?

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

Дано: кусок нашей схемы AB(A+C)A \cdot B \cdot (A + \overline{C}). Найти: упростить (покажем один виток «разгрузки чемодана»).

Раскрываем скобку

ABA+ABC A \cdot B \cdot A + A \cdot B \cdot \overline{C}

Схлопываем повтор

В первом члене AA=AA \cdot A = A:

AB+ABC A \cdot B + A \cdot B \cdot \overline{C}

Поглощение

ABA \cdot B поглощает ABCA \cdot B \cdot \overline{C} (большой член содержит малый):

AB A \cdot B

Вывод

Кусок из трёх выключателей и отрицания сжался до ABA \cdot B. Выключатель C из этого фрагмента вылетел полностью. Повтори такой виток несколько раз для всей схемы — и получишь Y=ABEY = A \cdot B \cdot E.

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

Это кульминация всей серии: соберём обе схемы и докажем анализатором, что они равны.

Для «честного» И трёх сигналов удобен 74HC11 (тройной 3-входовой И) или два 74HC08. Тумблеры (dip-switch) удобнее кнопок: их можно выставить и оставить.

Доказательство равенства — до того, как возьмёшь паяльник

Из разбора выше следует, что AB(A+C)A \cdot B \cdot (A + \overline{C}) равно просто ABA \cdot B. Выключатель C исчезает. В это трудно поверить, пока не увидишь.

🔬 Симулятор: До упрощения: A·B·(A + ¬C) — четыре вентиля

Сначала посчитай, потом запускай. Ожидаемый результат: лампа горит только при A=1 и B=1, а кнопка C ни на что не влияет — проверь оба её положения. Проверь себя — сходится ли расчёт с симулятором.

▶ Открыть схему в Falstad — откроется в новой вкладке уже собранной.

Если ссылка не открылась — собрать вручную

Зайти на falstad.com/circuit → меню File → Import From Text → вставить:

$ 1 0.000005 10.20 50 5 43 5e-11
L 112 128 64 128 0 0 false 5 0
L 112 192 64 192 0 0 false 5 0
L 112 320 64 320 0 0 false 5 0
I 176 320 240 320 0 0.01 5
w 112 320 176 320 0
150 320 160 384 160 0 0 2 0 5
w 112 128 272 128 0
w 272 128 272 144 0
w 272 144 320 144 0
w 112 192 272 192 0
w 272 192 272 176 0
w 272 176 320 176 0
150 320 272 384 272 0 1 2 0 5
w 272 128 272 256 0
w 272 256 320 256 0
w 240 320 288 320 0
w 288 320 288 288 0
w 288 288 320 288 0
150 480 216 544 216 0 0 2 0 5
w 384 160 432 160 0
w 432 160 432 200 0
w 432 200 480 200 0
w 384 272 432 272 0
w 432 272 432 232 0
w 432 232 480 232 0
M 608 216 656 216 0 2.5
w 544 216 608 216 0

Не сработал и импорт — собери схему мышью (Draw → Resistor / Voltage Source). Это 2–3 минуты и само по себе тренировка чтения схемы.

🔬 Симулятор: После упрощения: просто A·B — один вентиль

Сначала посчитай, потом запускай. Ожидаемый результат: ровно та же таблица истинности. Один корпус микросхемы вместо четырёх вентилей. Проверь себя — сходится ли расчёт с симулятором.

▶ Открыть схему в Falstad — откроется в новой вкладке уже собранной.

Если ссылка не открылась — собрать вручную

Зайти на falstad.com/circuit → меню File → Import From Text → вставить:

$ 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 0 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

Не сработал и импорт — собери схему мышью (Draw → Resistor / Voltage Source). Это 2–3 минуты и само по себе тренировка чтения схемы.

Эксперимент, ради которого урок. Открой первую схему и щёлкай кнопкой C туда-сюда при любых положениях A и B. Выход не меняется. Кнопка подключена, провода на месте, вентили работают — а влияния нет.

Это и есть смысл упрощения: математика заранее сказала, что C лишний, и сэкономила три вентиля, десяток проводов и место на плате. Инженер, который умеет упрощать, собирает схему из одного корпуса там, где неумеющий паяет четыре.

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

Собери итог Y=ABEY = A \cdot B \cdot E. Три тумблера последовательно (или на вход 3-входового И 74HC11) → светодиод.

  • Что увидеть: лампа горит только когда включены все три: A, B, E.
  • Заполни таблицу для трёх входов (8 строк) и сверься.

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

  1. (Воспроизведение) Запиши, какому вентилю (74HC…) соответствует операция ИЛИ-НЕ.
  2. (Воспроизведение) Сколько строк в таблице истинности для трёх входов?
  3. (Понимание) Почему выключатели C и D в исходной схеме оказались лишними? Объясни через поглощение.
  4. (Понимание) Мы собрали ту же логику на ESP32 в коде. Что общего у «схемы из проводов» и «схемы из кода»?
  5. (Применение / инженерный кейс) Придумай устройство из жизни, где нужна логика «работает, только если A И B И E» (например, сигнализация, станок, сейф). Опиши, что такое A, B, E, и почему безопасность требует именно И, а не ИЛИ.

8. Итог урока и всей серии

Чемодан разгружен. Мы прошли путь от одного выключателя света до умения математикой ужимать схему в разы и проверять результат на реальном приборе. Главное, что стоит унести:

Любая цифровая техника — это выключатели плюс правила их соединения. Правила — булева алгебра. Она позволяет убрать всё лишнее, доказать это строго и не сломать работу. Ровно этим и отличается инженер от того, кто просто «напаял побольше на всякий случай».
Финальное домашнее (по желанию). Возьми любое своё устройство из задания №5 и собери его модель: на макетке с вентилями или на ESP32 в коде — на выбор. Принеси показать. Это твой первый самостоятельный цифровой прибор, спроектированный «по-инженерному»: сначала логика, потом упрощение, потом железо.

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