Representation Learning of Logic Circuits