Boolean algebras canonically defined

Boolean algebra is a mathematical structure that captures the fundamentals of logic and set operations. It is defined by a set \( B \) equipped with two binary operations (typically called AND and OR), a unary operation (NOT), and two distinguished elements (commonly denoted as 0 and 1) that satisfy specific axioms.