2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/139945This paper presents a method to detect and recognize symmetries in Boolean functions. The idea is to use information theoretic measures of Boolean functions to detect sub-space of possible symmetric variables. Coupled with the new techniques of efficient estimations of information measures on Binary Decision Diagrams (BDDs) we obtain promised results in symmetries detection for large-scale functions.4 pages, 2 figures, 2 tables, MWSCAS'01Other Computer ScienceB.6.3text