逻辑重构