The Correctness of Tison's Method for Generating Prime Implicants.
作者： Michael C. Loui , Gianfranco Bilardi
DOI:
关键词: Rigorous proof 、 Arithmetic 、 Computation 、 Theoretical computer science 、 Function (mathematics) 、 Consensus method 、 Implicant 、 Correctness 、 Mathematics
摘要: Abstract : Tison devised a generalized consensus method to generate the prime implicants of switching function. The authors present complete, rigorous proof its correctness. (Author)
参考文章(1)
Saburo Muroga, Logic design and switching theory ,(1979)