Feed-Forward Threshold Logic Nets for Digital Switching and Pattern Recognition

A computer-programmable algorithm is presented for the design of general feed-forward nets of threshold logic gates, which realize arbitrary digital switching functions. The algorithm is proved to be convergent for all switching functions. A simplified version of the algorithm is presented for the case of symmetric switching functions. Both algorithms are proved minimal for single-gate nets; a necessary condition is given for the symmetric algorithm to produce minimal two-gate nets when they exist; and two-gate minimality is also demonstrated for the general algorithm, for a certain class of two-gate switching functions. However, general minimality is not proved. The case of partially defined switching functions is treated. Minor alterations in the general algorithm allow its use as an adaptive pattern recognition procedure, where the input variables represent real numbers rather than Boolean variables. Experimental restults are presented for both digital switching-function realization and analog pattern recognition.

[1]  Robert C. Minnick,et al.  Linear-Input Logic , 1961, IRE 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,et al.  Compound Synthesis of Threshold-Logic Network for the Realization of General Boolean Functions , 1965, IEEE Trans. Electron. Comput..

[4]  Claude E. Shannon,et al.  A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.

[5]  Robert McNaughton,et al.  Unate Truth Functions , 1961, IRE Trans. Electron. Comput..

[6]  P. M. Lewis,et al.  Linearly separable switching functions , 1961 .

[7]  John E. Hopcroft,et al.  Synthesis of Minimal Threshold Logic Networks , 1965, IEEE Trans. Electron. Comput..