다항식 논리 존오톱: 논리 시스템의 도달성 분석을 위한 집합 표현

다항식 논리 존오톱은 논리 시스템의 정확하고 계산 효율적인 도달성 분석을 위한 집합 표현이다.