Boolean Algebra Theory