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