On Identification of Redundancy and Symmetry of Switching Functions

IEEE Transactions on Computers

Volumn C-20, Issue 12, 1971, Pages 1609-1613

  Yau, S S ^a   Tang, Y S ^a  

^a NORTHWESTERN UNIVERSITY   (United States)

Author keywords

Algorithms; binary and decimal number representations of minterms; identification; partial or total symmetry; redundant variables; switching functions

Indexed keywords

SWITCHING FUNCTIONS; SWITCHING THEORY;

AUTOMATA THEORY;

EID: 0015202609     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/T-C.1971.223183     Document Type: Article

References (11)

1. G. Epstein, “Synthesis of electronic circuits for symmetric functions,” IRE Trans. Electron. Comput., vol. EC-7, Mar. 1958, pp. 57–60.
2. W. H. Kautz, “The realization of symmetric switching functions with linear-input logical elements,” IRE Trans. Electron. Comput., vol. EC-10, Sept. 1961, pp. 371–378.
3. C. L. Sheng, “A graphical interpretation of realization of symmetric Boolean functions with threshold elements,” IEEE Trans. Electron. Comput., vol. EC-14, Feb. 1965, pp. 8–18.
4. S. S. Yau and C. K. Tang, “Universal logic modules and their applications,” IEEE Trans. Comput., vol. C-19, Feb. 1970, pp. 141-149.
5. S. H. Caldwell, Switching Circuits and Logical Design. New York: Wiley, 1958.
6. M. P. Marcus, Switching Circuits for Engineers. Englewood Cliffs, N. J.: Prentice-Hall, 1962.
7. A. Mukhopadhyay, “Detection of total or partial symmetry of a switching function with the use of decomposition charts,” IEEE Trans. Electron. Comput., vol. EC-12, Oct. 1963, pp. 553–557.
8. C. L. Sheng, “Detection of totally symmetric Boolean functions,” IEEE Trans. Electron. Comput., vol. EC-14, Dec. 1965, pp. 924–926.
9. T. Singer, “Some uses of truth tables,” in Proc. Int. Symp. Theory of Switching, Part I, Apr. 1959, pp. 125–133.
10. S. R. Das and C. L. Sheng, “On detecting total or partial symmetry of switching functions,” IEEE Trans. Comput., vol. C-20, Mar. 1971, pp. 352–355.
11. A. A. Mullin and W. G. Kellner, “A residue test for Boolean functions,” unpublished teaching memorandum, Dep. Elec. Eng., Mass. Inst. Tech., Cambridge, Nov. 1955. The material appeared in [5, Sect. 5.8].