Алгебра логики (Булева алгебра)
Алгебра логики или булева алгебра лежит в основе математической логики и является фундаментом, на котором построены все современные компьютеры и цифровые устройства.
При создании логических цепей BEAM-роботов логическая алгебра выступает основным инструментом. Используя средства логической алгебры, можно построить практически любые логические схемы для обработки сигналов от датчиков и управления роботами.
Алгебру логики называют
булевой алгеброй в честь выдающегося английского математика XIX в. Джорджа Буля, который разработал ее основы.
Алгебра логики оперирует переменными, которые могут принимать всего два значения - логическую истину (логическая 1) и логическую ложь (логический 0). Аналогично компьютер, используя лишь логические сигналы 0 и 1, воспринимает их как двоичные числа или логические переменные.
В
логической алгебре существуют всего три базовых логических операции:
Логические функции образуются от логических переменных (аргументов) с помощью логических операций. В алгебре логики все логические функции могут быть выражены путем логических преобразований через три базовые операции.
Историческая справка
Джордж Буль
(George Boole)
1815 — 1864
Основатель математической логики.
Профессор математики Королевского колледжа Корка с 1849 года.
В 1847 г. написал статью по началам математической логики – "Математический анализ логики, или Опыт исчисления Дедуктивных умозаключений".
В 1854 году появился главный его труд "Исследование законов мышления, на которых основаны математические теории логики и вероятностей".