Мүлтіксіз конъюнктивті қалыпты форма (МКҚФ).

Анықтама. Айталық, А формуласы < > айнымалыдан тәуелді болсын. Егер төмендегі шарттар орналаса А- берілген айнымалылар тізімінде мұлтіксіз конъюнктивті қалыпты формада делінеді.

А-конъюнктивті қалыпты формада

А-ң әрбір мұшесі к мүшелі дизъюнкция және бұл дизъюнкцияның - ші орнында ( ) не айнымалысының не өзі, не оның терістеуі тұрса.

А- ның барлық конъюнктивті мүшелері өзара әр түрлі.

Мысалдар. - МДҚФ

- МДҚФ емес.

Берілген формулаға эквивалентті МДҚФ, МКҚФ табу есептерін шешу үшін, алдымен буль функциясы үшін Шеннон жіктеуін қарастырамыз.