Boolean Algebra and Its Applications