
Accession Number : AD0607227
Title : ON DETERMINATION OF THE IRREDUNDANT COVERS OF A PRIME IMPLICANT TABLE.
Descriptive Note : Technical rept.,
Corporate Author : PRINCETON UNIV N J DIGITAL SYSTEMS LAB
Personal Author(s) : Mukhopadhyay,Amerendra
Report Date : JUL 1964
Pagination or Media Count : 1
Abstract : An algorithm for generating the irredundant covers of a prime implicant table is discussed in this paper. The method depends on a representation of the prime implicant table on a 'prime implicant lattice' defined in terms of a partial ordering which takes its motivation from the equation x + xy = x. The problem is formulated in terms of certain properties on the lattice and a solution primarily based on geometrical interpretation is proposed. The novelty in our formulation lies in the fact that the solution is expressed as a productofsums expression which has factors with both uncomplemented and complemented variables. The presence of these factors with complemented variables can be profitably utilized to yield an efficient branching procedure for reducing the redundancy. (Author)
Descriptors : (*NUMERICAL METHODS AND PROCEDURES, MATRICES(MATHEMATICS)), (*MATRICES(MATHEMATICS), SPECIAL FUNCTIONS (MATHEMATICAL)), (*SPECIAL FUNCTIONS (MATHEMATICAL), MATRICES(MATHEMATICS)), (*PRIME NUMBERS, TABLES(DATA)), ALGEBRA, ALGEBRAS, MATHEMATICAL PROGRAMMING
Distribution Statement : APPROVED FOR PUBLIC RELEASE