Термин в Энциклопедическом Фонде

Двоичная логика

Двоичная логика (алгебра логики, бинарная логика) - логика, которая основана на двух высказываниях. Высказывания могут быть только ложными (логический ноль) или истинными (логическая единица). Получила широкое распространение в цифровой технике из-за простоты реализации, где логику разделяют на положительную (истина  = 1, ложь = 0) и отрицательную (истина = 0, ложь = 1).

История
Своим существованием двоичная логика обязана британскому математику
Джорджу Булю, который первый высказал идею применения символов к логике в своей статье "Математический анализ логики" в 1847 г. Единицей Буль обозначал универсум мыслимых объектов, буквенными символами - выборки из него, связанные с обычными прилагательными и существительными (так, если x="кучерявые", а y="коровы", последовательный выбор x и y из единицы даст класс кучерявых коров). Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, а это значит, что их можно складывать, умножать вычитать и делить. Далее, развитием занимались Чарльз ПирсБертран Рассел и многие другие.

Основные операции
Базовые операции, которые лежат в основе двоичной логики - это инверсия (отрицание), конъюнкция (логическое умножение) и дизъюнкция (логическое сложение), а также константы логический ноль и логическая единица.

Инверсия (отрицание) - "НЕ", "НЕТ", "¬".
Конъюнкция (логическое умножение) - "^", "И", "&".
Дизъюнкция (логическое сложение) - "ИЛИ", "|", "V".

Применение
Двоичная логика широко используется в конструировании цифровой техники. В вычислительной технике двоичная логика описывает работу многих устройств. Например, триггеры, сумматоры и переключатели. Кроме того, связь между двоичной логикой и ЭВМ лежит в системе счисления (двоичная).

Используемые источники
1. cyclowiki.org/wiki
2. studopedia.ru
Энциклопедический Фонд