A Construction of the Switching Function by IATP

자동정리증명기법에 의한 스위칭함수 구성

This paper propose the method of constructing the switching function based on the IATPT. The proposed method have advantage which is the efficiency, regularity and extensibility and so on compare with earlier methods. We expect the proposed the method be able to contribute the constructing the any digital logic systems.

본 논문에서는 자동정리기법에 기반을 둔 스위칭함수 구성의 한가지 방법을 제안하였다. 제안한 방법은 기존의 방법들에 비해 좀 더 효율적이고 정규성, 확정성 등의 장점을 가진다. 향 후 제안한 방법은 각종 디지털논리시스템을 구현하는데 기여할 수 있을 것으로 기대된다.