Boolean Algebra and Its Application, Including Boolean Matrix Algebra