Поттосин Ю. В. Минимизация булевых функций в классе ортогональных дизъюнктивных нормальных форм // Информатика. 2021 Т.18, №2. С.33-47. doi:10.37661/1816-0301-2021-18-2-33-47