Reductions in Circuit Complexity: An Isomorphism Theorem and a Gap Theorem