数字电路主要研究（）与（）信号之间的对应（）关系。