2.1.4 Circuit Simplification: Boolean Algebra