ПОӘК 042-14. 01. 20. 205/03-2013 02. 09. 20013 №1 басылым
жүктеу/скачать 14,91 Mb.
|
|
Теорема (функцияның толықтығы туралы теоерема). Кезкелген f буль функциясы үшін f функциясын беретін формуласы табылады. Егер f0, онда МДҚФ болатын φ формуласы табылады:  ,
егер f1, МКҚФ болатын φ формуласы табылады:  .
Мысалы. f(x,y,z) функциясы үшін ақиқат кестесі арқылы берілген МДҚФ және МКҚФ табу керек.
Функцияның толықтығы туралы теоремадан МДҚФ түрі  , ал МКҚФ  болады.
МДҚФ табудың алгоритмі. Берілген формуланы ДҚФ келтіреміз, содан кейін оның конъюнкцияларын бірлік конституентке төмендегідей ауыстырамыз: 1) егер конъюнктке айнымалы өзінің терістеуімен бірге кірсе, онда оны ДҚФ құрамынан алып тастаймыз; 2) егер конъюнкт құрамында хδ литері бірнеше рет қайталанса, онда хδ литерінің біреуін ғана қалдырып, қалғандарын жоямыз; 3) егер қайсыбір  конъюнкт құрамына у айнымалы кірмесе, онда ол конъюнктті  эквивалентті формулмасымен ауыстырамыз, дистрибутивті заңды пайдаланып, шыққан формуланы ДҚФ келтіреміз; егер жетпейтін айнымалылар саны бірнешеу болса, онда оның әрқайсысы үшін  түріндегі формуланы конъюнктке қосамыз;
4) егер шыққан ДҚФ бірнеше бірдей бірлік конституент болса, онда оның біреуін ғана қалдырамыз. Нәтижесінде МДҚФ шығады. Мысал. ДҚФ  үшін МДҚФ табамыз. Сонда:
 Жегалкин полиномы. Анықтама. хі1∙хі2∙∙∙хіr – түріндегі логикалық көбейтінді монотонды элементарлық конъюнкция деп аталады, егер оның құрамына кіретін аргументтер бір-бірінен өзгеше болатын болса. МЭК құрамындағы аргументтердің саны оның рангісі деп атайды. 1-ді рангісі 0-ге тең МЭК деп атаймыз.
Каталог: ebook -> umkd umkd -> Мамандығына арналған Сұлтанмахмұттану ПӘнінің ОҚУ-Әдістемелік кешені umkd -> Қазақстан Республикасының umkd -> Қазақстан Республикасының umkd -> Студенттерге арналған оқу әдістемелік кешені umkd -> ПӘннің ОҚУ Әдістемелік кешені 5В011700 «Қазақ тілі мен әдебиеті» мамандығына арналған «Ұлы отан соғысы және соғыстан кейінгі жылдардағы қазақ әдебиетінің тарихы (1941-1960)» пәнінен ОҚытушыға арналған пән бағдарламасы umkd -> «Балалар әдебиеті» пәніне арналған оқу-әдістемелік материалдар 2013 жылғы №3 басылым 5 в 050117 «Қазақ тілі мен әдебиеті» umkd -> ПӘннің ОҚУ-Әдістемелік кешенінің umkd -> 5 в 011700- Қазақ тілі мен әдебиеті umkd -> 5 в 011700- Қазақ тілі мен әдебиеті umkd -> «Филология: қазақ тілі» мамандығына арналған жүктеу/скачать 14,91 Mb. Достарыңызбен бөлісу:
|