ABSTRACT
This paper describes an algebraic process of finding all the irredundant covers of a switching function. Here the cover terms are identified with column matrices and a formulation of this matrix multiplication avoiding redundancies is presented by two theorems. A systematic process of search by which residual redundancies can be detected and avoided is also explained. An worked out example and proofs of theorems are included