This correspondence shows that the Necula [1] and Slagle, Chang. and Lee [2] methods for determining prime implicants are a mechanization of a method first given by Nelson [3], i. e., generating of all prime implicants by direct expansion of a conjunctive form to a disjunctive form.
No takes yet. Share an insight, caveat, or question.
Bredeson et al. (1971) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: