A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiatio4. I - Ye. Rytsar (Control Systems and Computers, 2019)