On an algorithm for constructing reduced DNF of order-prominent boolean functions - A. I. Timoshkin (Cybernetics and Systems Analysis, 2019)