Қазақстан республикасының білім және ғылым министірлігі

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

жүктеу 21,8 Mb. бет 61/214 Дата 09.01.2018 өлшемі 21,8 Mb. #7265 түрі Мазмұндама

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

©g.engime.org 2024
әкімшілігінің қараңыз