БУЛЕВА АЛГЕБРА
— алгебраическая структура с двумя бинарными операциями
, одной унарной операцией х и двумя выделенными элементами «0» и «1», для которой справедливы следующие равенства (аксиомы Б. а.):
Названа по фамилии англ. математика Дж. Буля (1815—64), который ввел ее, изучая законы логики (исчисление классов, исчисление высказываний и исчисление отношений). Используют Б. а. в алгебре множеств, алгебре логики, вероятностей теории, релейно-контактных схем теории и др.
Лит.: Владимиров Д. А. Булевы алгебры. М., 1969 [библиогр. с. 308—313]; Сикорский Р. Булевы алгебры. Пер. с англ. М., 1969 [библиогр. с. 340—369]. Б. Г. Парахин.
