Запись булевой функции в виде суммы макстермов называют также
- конъюнктивной нормальной формой (КНФ)
- минимальной конъюнктивной нормальной формой (МКНФ)
- совершенной дизъюнктивной нормальной формой (СДНФ)
- совершенной конъюнктивной нормальной формой (СКНФ)
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.