Основы

Алгебра логики (Булева алгебра)

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

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

Алгебру логики называют булевой алгеброй в честь выдающегося английского математика XIX в. Джорджа Буля, который разработал ее основы.

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

В логической алгебре существуют всего три базовых логических операции:



Логические функции образуются от логических переменных (аргументов) с помощью логических операций. В алгебре логики все логические функции могут быть выражены путем логических преобразований через три базовые операции.