조건식 (1)