5.7.2 逻辑等效性检查案例