Compound Synthesis of Threshold-Logic Network for the Realization of General Boolean Functions

This paper deals with the problem of compound synthesis of threshold-logic network, or of realizing a general Boolean function with a number of threshold-logic elements. Some basic theorems concerning the expression of a general Boolean function as a combination of a number of threshold functions are presented. The general structure of a network of m threshold-logic elements is analyzed in light of the basic theorems and properties of threshold functions. The properties of isobaric threshold functions are discussed and are utilized for compound synthesis. Methods for decomposing a function into a sum or product of unate functions and into a sum or product of threshold functions are developed. A synthesis procedure conforming with the general structure of a network of threshold-logic elements is given. A simplified synthesis procedure, which needs less cut and trial than the original procedure and is, therefore, more practical, is also presented. Some special situations are discussed. Examples are worked out to show the decomposition of functions, and to illustrate the synthesis method.

[1]  Fusachika Miyata,et al.  Realization of Arbitrary Logical Functions Using Majority Elements , 1963, IEEE Trans. Electron. Comput..

[2]  William H. Kautz The Realization of Symmetric Switching Functions with Linear-Input Logical Elements , 1961, IRE Trans. Electron. Comput..

[3]  C. L. Sheng A Graphical Interpretation of Realization of Symmetric Boolean Functions with Threshold Logic Elements , 1965, IEEE Trans. Electron. Comput..

[4]  Robert O. Winder,et al.  Majority Gate Networks , 1964, IEEE Trans. Electron. Comput..

[5]  Scott H. Cameron The Generation of Minimal Threshold Nets by an Integer Program , 1964, IEEE Trans. Electron. Comput..

[6]  Clarence L. Coates,et al.  A Realization Procedure for Threshold Gate Networks , 1963, IEEE Trans. Electron. Comput..

[7]  Robert C. Minnick,et al.  Linear-Input Logic , 1961, IRE Trans. Electron. Comput..

[8]  Clarence L. Coates,et al.  Realization of Logical Functions by a Network of Threshold Components with Specified Sensitivity , 1963, IEEE Trans. Electron. Comput..

[9]  H. S. Miller,et al.  Majority-Logic Synthesis by Geometric Methods , 1962, IRE Trans. Electron. Comput..

[10]  Paolo Ercoli,et al.  Threshold Logic with One or more than One Threshold , 1962, IFIP Congress.

[11]  Richard Lindaman,et al.  Axiomatic Majority-Decision Logic , 1961, IRE Trans. Electron. Comput..

[12]  Robert O. Winder,et al.  More about threshold logic , 1961, SWCT.

[13]  Richard Lindaman,et al.  A Theorem for Deriving Majority-Logic Networks Within an Augmented Boolean Algebra , 1960, IRE Trans. Electron. Comput..