ABSTRACT
Algebra deals with the manipulation of symbols. In high school, algebra is based on the properties of the real numbers. Historically, Boolean algebras were another milestone in the development of algebra in the nineteenth century. They are also an important tool in circuit design and can be regarded as an algebraic premonition of the computer age. A Boolean algebra can be constructed from propositional logic using logical equivalence. This is because logical equivalence is a congruence. An algebraic structure is a set equipped with a selection of unary and binary operations together with some specified elements called constants. Different algebraic structures are distinguished by the different properties their operations satisfy.
