Maxterm Type Expressions of Switching Functions and Their Prime Implicants

One of the basic problems of combinational switching circuit theory is that of designing circuits with a minimum number of AND-gates or prime implicants. Algorithms have been formulated for this purpose which first generate all possible prime implicants corresponding to a specified switching function and then select minimal subsets of these prime implicants for use in the formation of the minimal networks [1]-[6]. In practically all the currently available methods of simplification of switching functions, use is made of the minterm type expression specified in the algebraic or its equivalent binary or decimal form. Operations with binary or decimal numbers have become very popular because of their inherent advantages.

[1]  A. K. Choudhury,et al.  Direct determination of all the minimal prime implicant covers of switching functions , 1964 .

[2]  Willard Van Orman Quine,et al.  The Problem of Simplifying Truth Functions , 1952 .

[3]  Frank B. Hall Boolean prime implicants by the binary sieve method , 1962, Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics.

[4]  M. S. Basu,et al.  A Mechanized Chart for Simplification of Switching Functions , 1962, IRE Trans. Electron. Comput..

[5]  Claude E. Shannon,et al.  The synthesis of two-terminal switching circuits , 1949, Bell Syst. Tech. J..

[6]  E. McCluskey Minimization of Boolean functions , 1956 .

[7]  Raymond J. Nelson,et al.  Weak simplest normal truth functions , 1955, Journal of Symbolic Logic.

[8]  Raymond J. Nelson,et al.  Simplest normal truth functions , 1955, Journal of Symbolic Logic.

[9]  Rocco H. Urbano,et al.  A Topological Method for the Determination of the Minimal Forms of a Boolean Function , 1956, IRE Trans. Electron. Comput..

[10]  A. Scheinman A method for simplifying Boolean functions , 1962 .