  In this paper, we present a new axiomatic system that is a minimal
axiomatization of Boolean algebras. Furthermore, the symmetric difference is
shown to be algebraically analogous to the modular difference of two numbers.
Finally, a new method to prove equivalent relations in a Boolean algebra is
also given.
