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

---

Булевой алгеброй^[1][2][3] называется непустое множество A с двумя бинарными операциями ${\displaystyle \land }$ (аналог конъюнкции), ${\displaystyle \lor }$ (аналог дизъюнкции), одной унарной операцией ${\displaystyle \lnot }$ (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для любых a, b и c из множества A верны следующие аксиомы:

---