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

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

Навигация по данной странице:

• Мүлтіксіз дизюнктивті қалыпты форма (МДҚФ

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

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