В дискретной математике минимизация булевых функций в классе дизъюнктивных нормальных форм является одной из необходимых задач. В настоящей работе изложен эфективный метод синтеза сокращенной дизъюнктивной нормальной формы булевой функции.