Техноматика · Честный знак · ШБ3
ИНТЕРАКТИВНАЯ ЛАБОРАТОРИЯ

Алгебра логики и схемы

От логической операции — к работающей схеме.

Логические элементы и законы

В цифровой схемотехнике и дискретной математике переменные принимают только два значения: 1 (истина, TRUE) или 0 (ложь, FALSE). В отечественных стандартах ЕСКД условные графические обозначения (УГО) выполняются в виде строго ориентированных прямоугольников: входы располагаются слева, выходы — справа, а инверсия обозначается кружком на границе контура.

Как в презентации: И — «&», ИЛИ — «1» в верхнем левом углу прямоугольника 2 × 3 клетки. НЕ — пустой квадрат 2 × 2 клетки с кружком на выходе. XOR и другие производные операции дополняют базовый набор.

Базовые и производные логические операции

1. Конъюнкция (Логическое И / AND)

Выход Y = 1 только тогда, когда все входы равны 1. Математическая запись: Y = X1 • X2

&
И

2. Дизъюнкция (Логическое ИЛИ / OR)

Y = 1, если хотя бы на одном входе присутствует 1. Математическая запись: Y = X1 + X2

1
ИЛИ

3. Инверсия (Логическое НЕ / NOT)

Меняет логический сигнал на противоположный. Математическая запись: Y = NOT X

1
НЕ

4. Исключающее ИЛИ (Сложение по модулю 2 / XOR)

Y = 1, если входы не равны друг другу. Математическая запись: Y = X1 XOR X2

=1
XOR

5. Равнозначность (Эквивалентность / XNOR)

Y = 1, если сигналы на входах полностью совпадают. Математическая запись: Y = X1 XNOR X2

=1
XNOR

6. Штрих Шеффера (И-НЕ / NAND)

Инверсия логического умножения. Математическая запись: Y = NOT(X1 • X2)

&
И-НЕ

7. Стрелка Пирса (ИЛИ-НЕ / NOR)

Инверсия логического сложения. Математическая запись: Y = NOT(X1 + X2)

1
ИЛИ-НЕ

8. Импликация (Логическое следование)

Ложна (0) только когда из истины (1) следует ложь (0). Математическая запись: Y = X1 -> X2

1
➡

Законы алгебры логики (Булевы тождества)

Используются для математического упрощения (минимизации) аппаратных структур логических контроллеров:

Название закона Конъюнкция (И) Дизъюнкция (ИЛИ)
Законы констант X • 1 = X
X • 0 = 0
X + 0 = X
X + 1 = 1
Идемпотентность X • X = X X + X = X
Исключенное третье / Противоречие X • NOT X = 0 X + NOT X = 1
Двойное отрицание NOT(NOT X) = X (Отрицания взаимно уничтожаются)
Коммутативность X1 • X2 = X2 • X1 X1 + X2 = X2 + X1
Ассоциативность (X1 • X2) • X3 = X1 • (X2 • X3) (X1 + X2) + X3 = X1 + (X2 + X3)
Дистрибутивность X1 • (X2 + X3) = X1•X2 + X1•X3 X1 + (X2 • X3) = (X1 + X2) • (X1 + X3)
Законы де Моргана NOT(X1 • X2) = NOT X1 + NOT X2 NOT(X1 + X2) = NOT X1 • NOT X2
Законы поглощения X1 • (X1 + X2) = X1 X1 + (X1 • X2) = X1
Законы склеивания (X1 + X2) • (X1 + NOT X2) = X1 X1•X2 + X1•(NOT X2) = X1

2. Конструктор схем №1: Управление зажиганием лампочки

Задание: Сформируйте схему, при которой лампочка будет зажигаться при активации датчика А ИЛИ датчика Б.

Датчик А
Датчик Б
Перетащите чип
⚫
НЕТ СИГНАЛА

Расширенный пул элементов:

&
И
1
ИЛИ
=1
XOR
=1
XNOR

3. Симулятор готовых проектных решений

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

Проект

Логическая схема

ВЫКЛ
⚙️

4. Высококаскадный логический контроллер: Распределённое управление сервоприводом заслонки

Инженерная задача: Датчики выдают дискретные уровни смещения заслонки: первый датчик дает вклад величиной 0.15, второй — вклад 0.35, третий — 0.20, четвертый — 0.30 (в сумме формируется уровень 1.0, соответствующий полному раскрытию магистрали).

Техническое задание на логику: Привод должен изменить положение исполнительного органа (логический уровень на выходе равен 1), только если выполнены правила каскадов: (Активны оба датчика первого уровня) И (Активен хотя бы один из датчиков второго уровня).

Входные датчики

Датчик X1 (Вклад уровня 0.15)
Датчик X2 (Вклад уровня 0.35)
Датчик X3 (Вклад уровня 0.20)
Датчик X4 (Вклад уровня 0.30)

Положение заслонки
0 . . . 0.5 . . . 1.0 (Полное)
БЛОК: СХЕМА НЕ СМОНТИРОВАНА
X1X2X3X4Y
DD1
DD2
DD3
&
И
1
ИЛИ
=1
XOR

5. Применение булевой логики в нейросетевых технологиях и ИИ

Искусственные нейросети кажутся абстрактными, но на базовом математическом уровне они базируются на классической булевой логике. Элементарный искусственный нейрон (перцептрон Розенблатта) устроен по канонам цифровой схемотехники: он принимает входные бинарные предикаты, агрегирует их и вычисляет дискретный отклик.

Математика и алгоритм обучения перцептрона

В отличие от жестких логических чипов, где логика работы задана структурой кристалла, нейрон можно динамически переобучать. Входные сигналы X1 и X2 имеют синаптические весовые коэффициенты W1 и W2. В ядре нейрона рассчитывается взвешенная сумма: S = X1•W1 + X2•W2. Затем полученная сумма передается на ступенчатую функцию активации.

Правило срабатывания нейрона формулируется следующим образом:

Если сумма S больше или равна порогу активации θ, нейрон активируется и выдает на выходе истину (Y = 1). В противном случае на выход поступает логический ноль или ложь (Y = 0).

Как происходит процесс обучения? Изначально веса W1, W2 и порог θ инициализируются случайными числами. Нейросети подаются эталонные пары входов и ожидаемых выходов. Если текущий ответ Y не совпадает с идеальной таблицей истинности, вычисляется ошибка. На основе этой ошибки веса корректируются по дельта-правилу: новые веса сдвигают разделяющую гиперплоскость, калибруя коэффициенты до тех пор, пока нейрон безошибочно не воссоздаст логическую функцию конъюнкции или дизъюнкции.

Интерактивная модель нейрона-перцептрона

Вход X1 (Сигнал)
Вход X2 (Сигнал)
X1
X2
∑
Y
Синаптический вес W1: 0.5 | Вес W2: 0.5
Текущая сумма S: 0.0 | Порог активации θ: 0.7
Статус выхода:
0 (НЕ АКТИВЕН)
КОНСТРУКТОР · СОБЕРИТЕ СВОЮ СХЕМУ

Логическая мастерская

Добавляйте входы, элементы и выходы. Соединяйте контакты, меняйте входные сигналы и наблюдайте результат.

Квадратные контакты — точки подключения; кружок на границе элемента — инверсия. Соединение: нажмите на выходной контакт справа, затем на входной слева. От одного выхода можно провести несколько проводов. Перемещение: тяните элемент за название или корпус. Переключение входа: нажмите на 0/1. Esc — отмена соединения.

Сигнал 1Сигнал 0Сигнал не определён

Таблица истинности

Обновляется при изменении схемы. Нажмите на строку, чтобы подать её значения на входы. «—» означает незавершённое соединение. До 6 входов — до 64 сочетаний.

Схема сохраняется в этом браузере, если локальное хранилище доступно. Кнопка «Сохранить схему» скачивает файл для переноса на другой компьютер. Конструктор предназначен для комбинационных схем без обратных связей.