тура осындай жолмен бірге тең емес f(х1,…,хn) буль функциясы үшін, мүлтіксіз КҚФ төмендегідей түрде аламыз:
жоғарыда алынған формулалардан келесі теорема қортылып шығады.
Бұл жағдайда, егер k=n болғанда нольге тең емес f(х1,…,хn) буль функциясы үшін, мүлтіксіз ДҚФ төмендегідей түрде аламыз:
