LEC 功能ECO理论基础:逻辑等价性检查( 二 )