The Correctness of Tison's Method for Generating Prime Implicants.
Abstract
Tison devised a generalized consensus method to generate the prime implicants of a switching function. The authors present a complete, rigorous proof of its correctness. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1982
- Accession Number
- ADA142681
Entities
People
- G. Bilardi
- M. C. Loui
Organizations
- University of Illinois Urbana–Champaign