Булева алгебра

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

Булевой алгеброй называется непустое множество A с двумя бинарными операциями  (аналог конъюнкции), (аналог дизъюнкции), унарной операцией  (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:

Первые три аксиомы означают, что (A, , ) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.