К свойствам совершенства СДНФ функции относятся:
- все конституенты различны
- каждая конституента содержит все переменные, входящие в функцию
- каждая конституента содержит одну и ту же переменную дважды
- ни одна конституента не содержит одновременно переменную и её отрицание
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.