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

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