Accession Number:

ADA142681

Title:

The Correctness of Tison's Method for Generating Prime Implicants.

Descriptive Note:

Technical rept.,

Corporate Author:

ILLINOIS UNIV AT URBANA COORDINATED SCIENCE LAB

Personal Author(s):

Report Date:

1982-02-01

Pagination or Media Count:

11.0

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

Subject Categories:

  • Numerical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE