인스톨러 는 각각 950 ( 1 ) 내지 950 ( 6 ) 으로 확인 되 는 6 개 의 부울 식 들 을 정의 하 는데 , 여기 서 각 부 울 식 은 12 개 필터 들 의 부분집합 과 관련 된다 . 예 를 들 어 , 부울 식 ( 950 ( 2 ) ) 은 두 필터 ( 930 ( 1 ) 및 930 ( 6 ) ) 와 관련 되 며 , 부울 식 ( 950 ( 5 ) ) 은 필터 ( 930 ( 2 ) , 930 ( 8 ) 및 930 ( 11 ) ) 와 관련 된다 . 인스톨러 는 각각 960 ( 1 ) 내지 960 ( 4 ) 로 확인 되 는 4 개 의 동작 들 을 정의 하 였 다 . 그리고 나 서 인스톨러 는 도 5 의 규칙 구성 모듈 ( 540 ) 을 이용 하 여 , 각각 940 ( 1 ) 내지 940 ( 9 ) 로 확인 되 는 9 개 의 규칙 들 을 정의 하 였 다 . 각 규칙 은 단일 부울 식 ( 950 ) 및 단일 동작 ( 960 ) 과 관련 된다 . 예 를 들 어 , 규칙 ( 940 ( 1 ) ) 은 부울 식 ( 950 ( 2 ) ) 및 동작 ( 960 ( 2 ) ) 을 특정 하 며 , 규칙 ( 940 ( 9 ) ) 은 부울 식 ( 950 ( 5 ) ) 및 동작 ( 960 ( 4 ) ) 을 특정 한다 .