본 논문에서는 PCNF(Precise Conjunctive Normal Form)에서 절의 개수와 관련하여 Unambiguous-SAT 문제의 자연 범위를 정의하고, 특정 조건에서 PCNF 공식의 만족 불가능성을 판별할 수 있는 함수 및 알고리즘을 제시합니다.
