М. З. Якубова техника ғылымдарының кандидаты, доцент
жүктеу/скачать 3.68 Mb.
|
Ақиқаттық кесте
ДҚФ берілген логикалық функция үшін келесі түрі бар: сызба(x2 , x1 , x0 ) = x2 x1 x0 + x2 x1 x0 + x2 x2 x0 + x2 x1 x0 Конституент бірліктерін қосқанда алынған мінсіз ДҚФ бола- ды (МДҚФ). Конъюктивті қалыпты форма (КҚФ) деп әрбір аргумент немесе оның терістеуі бір рет енетін жай сандардың логикалық көбейтіндісін айтады. КҚФ ақиқат кестеден алынуы мүмкін, функция 0-ге тең болатын әрбір аргументтер терімі үшін жай қосындыны құрады, мұнда мәні 1-ге тең болатын айнымалыларды терістеумен жазады. Минтермдер немесе бір- ліктер конституенті атауына ие алынған қосынды логикалық көбейтінді операцияларын біріктіреді. Мысалы, КҚФ жоғарыда келтірілген мысалдағы функция үшін келесі түрі бар: сызба(x2 , x1 , x0 ) = (x2 +x1 +x0 ) (x2+x1+x0 ) (x2+x +x0 ) (x2+x1+x0). КҚФ әрбір жай қосынды барлық айнымалылардан тұратын- дықтан мінсіз деп аталады. Кейде логикалық функцияның өзімен емес оның терістеуін қолдану ыңғайлы. Мұндай жағдайда МДҚФ басылымы үшін жоғарыда келтірілген әдісті қолдану барысында нөлдік функ- циялар, ал МКҚФ басылымы үшін бірлік функциялар пайдала- нылады. Мысалы, алдыңғы МДҚФ және МКҚФ мысалында кел- 201 Логикалық функцияны ақиқат кестесі ретінде қарастырамыз (3-кесте). 3-кесте жүктеу/скачать 3.68 Mb. Достарыңызбен бөлісу:
|