A novel approach for identification of symmetric switching function

A new method for identification of symmetric switching functions is proposed. The proposed method exploits the Shannon´s decomposition theory to reduce the space-time complexity in symmetric switching function identification. The method is applicable for literals as well. The set of true min-terms are bi-partitioned into two subsets depending upon the polarity of a particular variable. This reduces the search space for symmetry detection.