Comments on "Generalization of Consensus Theory and Application to the Minimization of Boolean Functions"
Issue No.07 - July (1979 vol.28)
R.B. Cutler , Department of Computer Science, University of Illinois
An algorithm for finding a minimal irredundant disjunctive form representation for an incompletely specified multiple-output switching function presented by P. Tison<sup>1</sup>is shown to be incorrect by counterexample and corrected.
prime implicants, Boolean algebra, consensus theory, covering problem, minimal sum, multiple-output functions
R.B. Cutler, S. Muroga, "Comments on "Generalization of Consensus Theory and Application to the Minimization of Boolean Functions"", IEEE Transactions on Computers, vol.28, no. 7, pp. 542-543, July 1979, doi:10.1109/TC.1979.1675403