An Account of the Partial Symmetry of Boolean Functions in the Synthesis of Logic Circuits

摘要

Some properties of partially symmetric Boolean functions are studied and an algorithm is proposed for recognition of their partial symmetry that is suitable for realization on a general-purpose digital computer. By the example of the cascade method, it is shown that taking into account the partial symmetry of Boolean functions makes it possible to reduce the set of decisions in the synthesis of logic circuits. (Author)