К свойствам совершенства СДНФ функции относятся:

  • все конституенты различны
  • каждая конституента содержит все переменные, входящие в функцию
  • каждая конституента содержит одну и ту же переменную дважды
  • ни одна конституента не содержит одновременно переменную и её отрицание

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