Если правильно посчитал, то минимальная дизъюнктивная форма для функции мажорирования из N элементов будет состоять из
N!/((N+1)/2)!/((N-1)/2)!
дизъюнктивных групп по (N+1)/2 элементов в каждой.
Т.е. для 5 элементов получаем 10 дизъюнктивных групп по 3 элемента, для 7 - 35 групп по 4 элемента.
И (умозрительно) на уровне конъюнкций/дизъюнкций особо это дело не упрощается.
Для подсчета количества единиц в каждом "столбце" битов более удобной может оказаться идея
"вертикальных счетчиков".