Запись булевой функции в виде суммы макстермов называют также

  • конъюнктивной нормальной формой (КНФ)
  • минимальной конъюнктивной нормальной формой (МКНФ)
  • совершенной дизъюнктивной нормальной формой (СДНФ)
  • совершенной конъюнктивной нормальной формой (СКНФ)

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.