On Identification of Redundancy and Symmetry of Switching Functions

S. S. Yau, Y. S. Tang

Research output: Contribution to journalArticle

11 Scopus citations


An algorithm for identifying all redundant variables of switching functions and an algorithm for identifying their symmetries (total or partial) are presented. Both algorithms are straightforward and very efficient. These algorithms are based on manipulating the binary and decimal number representations of the minterms of the switching function under testing.

Original languageEnglish (US)
Pages (from-to)1609-1613
Number of pages5
JournalIEEE Transactions on Computers
Issue number12
StatePublished - Dec 1971



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

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics

Cite this