표현 동등성과 축소 결정