Abstract
An important problem in reliability is the problem of inverting the minimal sum representation of a switching (Boolean) function to obtain that of its complement. This problem is tackled by a divide-and-conquer inversion procedure that relies on the use of the variable-entered Karnaugh map (VEKM). An improved VEKM minimization procedure is presented, and then utilized as a part of the inversion procedure. Both procedures are illustrated by simple examples that cover the noncoherent as well as the coherent case.