Жұмыс бағдарламасы (силлабус) осы мамандықттардың Қр мжмбс 08. 329-2006, Қр мжмбс 08. 33-2006 Мемлекеттік стандартына сәйкес құрылған
жүктеу/скачать 21,8 Mb.
|
Түйіндестік принципі: Егер f функциясын өрнектейтін F формуласындағы барлық операция белгілерін түйіндес функцияның операция белгілеріне алмастырғаннан алынған F* формуласы берілген f функциясының түйіндес функциясын өрнектейтін болады. Тек , , а, ж символдарымен ғана байланысқан формулаларды қарастырамыз. , , а, ж символдары бір біріне түйіндес деп аталады. Мысалдар: ақиқат–формуласының түйіндесі - жалған; 
Егер f1, f2 функциялары тең болса, онда оларға сәйкес түйіндес формулалар да тең болады.  онда  . Түйіндестік принцип дизъюнкция, конъюнкция, терістеу арқылы байланысқан формулалармен берілген функциялардың түйіндестерін табу үшін ыңғайлы. Бұл жағдайда берілген формулада конъюнкция дизъюнкцияға, дизюнкция конъюнкцияға ауысады. Сөйтіп ДҚФ–КҚФ, КҚФ-ДҚФ, МДҚФ–МКҚФ немесе керісінше.
Мысалы: ( 
Егер формуласы -ге эквивалент болса: онда оларға сәйкес түйіндес формулалар да эквивалентті болады ,яғни * * болады. Егер f* (x1,x2,…,xn)=f(x1,x2,…,xn) онда f(x1,x2,…,xn) функциясы өзіне-өзі түйіндес функция деп аталады. Мысалы, xyxzyz функциясы өзіне өзі түйіндес функцияны кескіндейді. Оған (б1,б2,б3) және (1-б1, 1-б2 , 1-б3) жиынтықтарының қарама-қарсы мәндерінде функция да қарама-қарсы мән қабылдайтындығына көз жеткізуге болады. Ол үшін ақиқаттық кесте құрып: 
екендігін көреміз. Мысал: Түйідестік принципіне сүйене отыра, буль алгебрасындағы түйідестік принципінің дұрыстығын дәлелдеу керек. Буль алгебрасында  үш амал бар: ;
Буль алгебрасының әр бір амалына түйіндес амалдарды анықтайық. жүктеу/скачать 21,8 Mb. Достарыңызбен бөлісу:
|