A Corrigendum for the Optimized-IPIA

In a paper published earlier by this Journal (Kean and Tsiknis, 1990), we presented an incremental algorithm for generating prime implicants/implicates, called IPIA. In an attempt to improve IPIA some optimizations were also presented. It was pointed out to us that one of these improvements, is in conflict with the others and produces incorrect results. This corrigendum provides a solution to this problem.