展开 什么是等价替换公式的概念