The principle of duality for Boolean algebra states that if an identity ƒ = g is valid in every Boolean algebra and if we transform ƒ = g into a new identity by interchanging (i) the two lattice operations and (ii) the two lattice bound elements 0 and 1, then the resulting identity ƒ = g is also valid in every Boolean algebra. Also, the equational theory of Boolean algebras is finitely based. Believing in the cosmic order of mathematics, it is only natural to ask whether the equational theory of Boolean algebras can be generated by a finite irredundant set of identities which is already closed for the duality mapping. Here we provide one such equational basis.
