Recognition of Symmetries for Switching Functions in Reed-Muller Forms

摘要

This paper addresses the recognition of partial symmetry in variables of switching functions represented in positive polarity Reed-Muller (RM) form. We develop a formal representation of partial symmetries in this RM form and present algorithms for their detection. In addition, we show necessary and sufficient conditions to recognize in RM expression partial and total symmetries in variables of the function. Our program RECSym successfully recognizes symmetries in RM expansion in standard benchmark circuits.