Boolean Algebra for Computer Logic