On a Method of Finding the Irredundant Forms of a Boolean Function†
TRIPTIMOY MUKUETUEE, Pranab Kumar Sarkar · Journal of Electronics and Control · 1963
A systematic procedure of finding out all the irredundant forms of a Boolean function is presented in this paper. It has been shown that when a particular prime implicant or a group of prime implicants is considered for covering a term or a group of terms then certain restrictions in the form of compulsory occurrence or non-occurrence are imposed on the remaining prime implicants. These restrictions are found from the prime implicant matrix. The knowledge and use of these restrictions at proper stages makes the problem of determining the irredundant forms of a Boolean function a rapidly converging one.