Compact Representations for the Design of Quantum Logic