Boolean Algebra and Logic Circuits