Рассмотрен новый метод минимизации логических функций от n переменных в полиномиальном теоретико-множественном формате, основанный на процедуре расцепления заданных минтермов и обобщенных теоретико-множественных правил упрощения конъюнктермов разных рангов. Преимущества метода иллюстрируют примеры.