This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.Pattern Recognition and Information Processing, 18-20 May 1999, Minsk, Belarus, 1998This 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 recognized symmetries in RM expansion in standard benchmark circuits
