“…The partial mixed symmetry recognition is demonstrated on the above example of the function (see Section 2) and, after its transformation -as perfect STF 1 1 {1, 2,6,7,8,11,12,13,16,19,20,21,25,26,30,31} Y = . This function has a pair of minterms (17), so firstly we will verify the condition (2) of the theorem.…”