Minimization of Boolean functions in the class of orthogonal disjunctive normal forms - Yu. V. Pottosin (The United Institute of Informatics Problems of the National Academy of Sciences of Belarus, 2021)