Representations of logic functions

Logic function representations play an important role in logic design and computer design, as well as VLSI design. There are many ways to represent a logic function. Presents and classifies 11 representation methods into “unique representation category” and “non‐unique representation category”. History of these methods is also briefly mentioned. There are three non‐unique representation methods: Boolean expression;sum of products; and product sums, and eight unique representation methods: truth table; canonical sum of products; canonical product of sums; sum of minterms; product of maxterms; Karnaugh map; Boolean lattice; and Venn diagram. A theorem is found which states that Boolean expression, sum of products, product of sums, sum of minterms, product of maxterms, and Karnaugh map, form a lattice structure. The results may have useful applications in knowledge representation, pictorial knowledge representation and other related areas.

[1]  E. Leet Proximity Measures for the Classification of Geometric Figures , 1972 .

[2]  M. Karnaugh The map method for synthesis of combinational logic circuits , 1953, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[3]  Edward T. Lee,et al.  On Multivalued Symmetric Functions , 1972, IEEE Transactions on Computers.

[4]  John Field,et al.  Microprogramming and Computer Architecture , 1991 .

[5]  Edward T. Lee,et al.  Fuzzy Neural Networks , 1975 .

[6]  E. T. Lee,et al.  The shape-oriented dissimilarity of polygons and its application to the classification of chromosome images , 1974, Pattern Recognit..

[7]  M. Morris Mano,et al.  Digital design (2nd ed.) , 1991 .

[8]  J. Taylor,et al.  Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.

[9]  Edward T. Lee Pictorial knowledge representation using pictorial semantic networks , 1988, Robotica.

[10]  Edward T. Lee Applications of Fuzzy Set Theory to Image Sciences , 1980, Cybern. Syst..

[11]  E. T. Lee,et al.  Shape-oriented storage and retrieval of geometric figures and chromosome images , 1976, Inf. Process. Manag..

[12]  Edward T. Lee Algorithms for finding most unsymmetrical chromosome images , 1983 .

[13]  E. T. Lee,et al.  Algorithms for finding most dissimilar images with possible applications to chromosome classification , 1976 .

[14]  Lotfi A. Zadeh,et al.  Note on fuzzy languages , 1969, Inf. Sci..

[15]  P. Rozen,et al.  An Introduction to Computers , 1984 .

[16]  E. T. Lee,et al.  APPLICATION OF FUZZY LANGUAGES TO PATTERN RECOGNITION , 1977 .