В названии дизъюнктивной нормальной формы (ДНФ) термин "нормальная" означает
- в элементарных дизъюнкциях разное число переменных
- в элементарных дизъюнкциях одинаковое число переменных
- в формуле, выражающей функцию, используется только операция дизъюнкции
- в выражении отсутствует общий знак инверсии над несколькими переменными сразу
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.