Что такое булева алгебра?
Булева алгебра — раздел математики, изучающий переменные, которые принимают только два значения: истина/ложь, 1/0 или включено/выключено. Её ввёл Джордж Буль в 1854 году, и именно она стала математической основой всех цифровых схем, процессоров и компьютерных программ.
В отличие от обычной алгебры, где переменные могут принимать любые числа, булевы переменные бинарны. Именно это ограничение делает булеву алгебру удобной для описания электронных переключателей и логических вентилей — провод либо проводит ток (1), либо нет (0).
Три базовые операции
Любое булево выражение строится из трёх фундаментальных операций:
- И (·) — результат равен 1 только когда оба операнда равны 1. Пример: A·B.
- ИЛИ (+) — результат равен 1, если хотя бы один операнд равен 1. Пример: A+B.
- НЕ (¬ или черта сверху) — инвертирует значение: 0 становится 1, а 1 становится 0.
Основные законы
Несколько законов позволяют упростить любое выражение без построения таблицы истинности:
- Тождество: A·1 = A, A+0 = A
- Нулевой закон: A·0 = 0, A+1 = 1
- Идемпотентность: A·A = A, A+A = A
- Дополнение: A·¬A = 0, A+¬A = 1
- Коммутативность: A·B = B·A, A+B = B+A
- Дистрибутивность: A·(B+C) = A·B + A·C
Почему это важно при проектировании схем
Каждый логический вентиль в Boolflow — AND, OR, XOR, NAND, NOR — это прямая физическая реализация булевой операции. Размещая вентили и соединяя их проводами в редакторе, вы буквально строите булево выражение в виде аппаратной схемы. Упрощение выражения с помощью законов выше означает меньше вентилей, меньше проводов и более дешёвую и быструю схему.
Получив выражение, естественный следующий шаг — проверить его по таблице истинности, а затем, когда схема готова, экспортировать её в Verilog, VHDL или C++.