예:

  cond(x1) && cond(x2) ^ cond(x3) && cond(x4);

검사 구성:

• 최대 항 수 필드를 사용하여 bool 표현식에 허용되는 항의 최대 개수를 지정하세요.
• 하나의 부울 연산자를 반복적으로 사용하는 bool 식을 무시하려면 순수 결합어 및 분리어 무시 옵션을 사용하세요.