Понимание булевой алгебры: от логических основ к цифровым схемам

Математические правила определяются ограничениями, которые мы накладываем на величины, с которыми работаем. Пиша 1 + 1 = 2 или 3 + 4 = 7, мы неявно используем целочисленную арифметику, привычную систему счёта из начальной школы.

Эти кажущиеся самоочевидными арифметические истины верны только в рамках модели вещественных чисел. Во многих инженерных контекстах — например, анализе цепей переменного тока (AC) — модель вещественных чисел не работает, потому что AC величины обладают и модулем, и фазой. Например, последовательное соединение 3-вольтового и 4-вольтового источников AC может дать суммарное напряжение 5 вольт, но уравнение 3 + 4 = 5 было бы бессмысленно в обычных вещественных числах.

Решение — применить другую числовую систему — комплексные числа — чья двумерная природа позволяет сложению учитывать и модуль, и фазу. В этой системе то же арифметическое выражение совершенно валидно, отражая геометрический факт: прямоугольный треугольник с катетами 3 и 4 имеет гипотенузу 5.

Логика, законы и необходимость новых основ

Логика параллельна математике в том, что её фундаментальные законы зависят от определения высказывания. Классическая бивалентная логика Аристотеля, классифицирующая утверждения как истинные или ложные, порождает четыре базовых закона: Закон тождества (A есть A), Закон непротиворечия (A не есть не-A), Закон исключённого третьего (или A, или не-A), Закон рационального вывода.

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

Рождение булевой алгебры

В 1854 году английский математик Джордж Буль формализовал бивалентную логику Аристотеля в трактате An Investigation of the Laws of Thought (1854). Система Буля — ныне известная как булева алгебра — ограничила переменные двумя значениями: истина (1) или ложь (0). Арифметические операции в этой системе дают только 1 или 0; нет понятия 2, –1 или ½.

Хотя эта бинарная арифметика негодна для обычного бухгалтерского учёта или расчётов электротехники, она стала трансформационной для цифрового проектирования. Тезис Клода Шеннона 1938 года в MIT, A Symbolic Analysis of Relay and Switching Circuits, показал, что булева алгебра может моделировать вкл/выкл цепи, где сигналы либо высокие (1), либо низкие (0). Этот инсайт заложил основу современной цифровой электроники.

Булева алгебра против обычной алгебры

Хотя булева алгебра структурно похожа на обычную, её ограниченное множество значений ведёт к другим алгебраическим законам. Например, в булевой логике 1 + 1 = 1, потому что логическое ИЛИ двух истинных значений остаётся истинным. Как только принимаешь, что булевы переменные могут быть только 1 или 0, утверждения, абсурдные в обычной алгебре, становятся вполне логичными.

Булевы числа против двоичных чисел

Важно отличать булевы значения от двоичных чисел. Булевы числа представляют единичный бит — либо 1, либо 0 — в то время как двоичные числа — лишь позиционная запись вещественных чисел. Например, двоичная строка 10011₂ равна девятнадцати в десятичной, но это значение не имеет места в булевой арифметике, которая может выразить только 0 или 1.

Из-за этого различия булева логика оперирует единичным битом, тогда как двоичная нотация может описывать сколь угодно большие целые.

СВЯЗАННЫЕ РАБОЧИЕ ЛИСТЫ:

• Рабочий лист по булевой алгебре
• Рабочий лист по базовой алгебре и графированию для электрических цепей
• Рабочий лист по двоичной математике