A New Algorithm for Boolean Function Minimization

부울함수의 간소화를 위한 새 방법

In the case of Quine Mccluskey's methode for Boolean function minimization, we have to examine each bits of binary represented minterms. In this paper, cube relations between misterms that are represented by means of decimal number, and all sorts of rules for Boolean function minimization are described as theorems, and they are verified. And based on these theorems, the new fast algorithm for Boolean function minimization is proposed. An example of manual operation is sholvn, and the process is writed out by a FORTRAN program. In this program, the essential pl.imp implicants of the Boolean function that has 100 each of minterms including redundant minterms, are finked and printed out, (the more minterms can be treated if we take the more larger size of arrays) and the outputs are coincided with the results of manual operation.

부울함수의 간소화법에서 Quine Mcclustey법은 최소항들의 2진수 표현의 구조를 조사하는 방법을 쓰고 있다. 이 논문에서는 10진수로 표현한 최소항을 가지고 그들간의 큐브관계와 간소화에 따르는 제규칙을 정리로 간추려 표현하고 증명하였으며, 이들을 바탕으로 새로운 알고리즘의 부울함수 간소화법을 제안하였다. 예제를 들어 손작업의 방법을 보였고 아울러 이 과정을 FORTRAN 프로그램으로 작성하였다. 프로그램은 여분항을 포함하여 100개까지의 최소항을 가진 부울함수에 대하여 진성주항을 찾아 인쇄하도록 작성하였는데(배열을 크게 잡으면 그 이상도 가능함), 모든 경우에 손작업과 일치하는 결과를 얻었다.