20.11 목표 조건의 논리적 표현과 부분 목표 분해