Boolean algebras canonically defined
= Boolean algebras canonically defined
{wiki=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.