Recursive Operators for Prime Implicant and Irredundant Normal Form Determination
From MaRDI portal
Publication:5602948
DOI10.1109/T-C.1970.222967zbMath0204.32302MaRDI QIDQ5602948
Publication date: 1970
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Related Items
A continuous approach to inductive inference, Polynomial-time algorithms for generation of prime implicants, Boolean function minimization in the class of disjunctive normal forms