정확한 논리 조노토프를 이용한 형식 검증

본 연구에서는 제약된 다항식 논리 조노토프를 제안하여, 논리 시스템의 도달 가능성 분석을 위한 정확한 교집합 연산을 가능하게 하였다.