분할기법에 의한 효율적인 3논리값 시뮬레이션