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