Мүлтіксіз конъюнктивті қалыпты форма (МКҚФ).
Анықтама. Айталық, А формуласы < > айнымалыдан тәуелді болсын. Егер төмендегі шарттар орналаса А- берілген айнымалылар тізімінде мұлтіксіз конъюнктивті қалыпты формада делінеді.
А-конъюнктивті қалыпты формада
А-ң әрбір мұшесі к мүшелі дизъюнкция және бұл дизъюнкцияның  - ші орнында ( ) не  айнымалысының не өзі, не оның терістеуі тұрса.
А- ның барлық конъюнктивті мүшелері өзара әр түрлі.
Мысалдар.  - МДҚФ
 - МДҚФ емес.
Берілген  формулаға эквивалентті МДҚФ, МКҚФ табу есептерін шешу үшін, алдымен  буль функциясы үшін Шеннон жіктеуін қарастырамыз.
Достарыңызбен бөлісу: |
