1281.8 불리언 표현식 기반 전이 조건 설계