판정식 구현