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

жүктеу 21,8 Mb.

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

1 ... 68 69 70 71 72 73 74 75 ... 214

Түйіндестік принципі: Егер f функциясын өрнектейтін F формуласындағы барлық операция белгілерін түйіндес функцияның операция белгілеріне алмастырғаннан алынған F* формуласы берілген f функциясының түйіндес функциясын өрнектейтін болады.

Тек , , а, ж символдарымен ғана байланысқан формулаларды қарастырамыз. , , а, ж символдары бір біріне түйіндес деп аталады.

Мысалдар: ақиқат–формуласының түйіндесі - жалған;

Егер f₁, f₂ функциялары тең болса, онда оларға сәйкес түйіндес формулалар да тең болады.

онда

. Түйіндестік принцип дизъюнкция, конъюнкция, терістеу арқылы байланысқан формулалармен берілген функциялардың түйіндестерін табу үшін ыңғайлы. Бұл жағдайда берілген формулада конъюнкция дизъюнкцияға, дизюнкция конъюнкцияға ауысады. Сөйтіп ДҚФ–КҚФ, КҚФ-ДҚФ, МДҚФ–МКҚФ немесе керісінше.

Мысалы: (

Егер  формуласы -ге эквивалент болса: онда оларға сәйкес түйіндес формулалар да эквивалентті болады ,яғни ** болады.

Егер f*(x₁,x₂,…,x_n)=f(x₁,x₂,…,x_n) онда f(x₁,x₂,…,x_n) функциясы өзіне-өзі түйіндес функция деп аталады. Мысалы,  xyxzyz функциясы өзіне өзі түйіндес функцияны кескіндейді. Оған (б₁,б₂,б₃) және (1-б₁, 1-б₂ , 1-б₃) жиынтықтарының қарама-қарсы мәндерінде функция да қарама-қарсы мән қабылдайтындығына көз жеткізуге болады. Ол үшін ақиқаттық кесте құрып:

екендігін көреміз.

Мысал: Түйідестік принципіне сүйене отыра, буль алгебрасындағы түйідестік принципінің дұрыстығын дәлелдеу керек. Буль алгебрасында

үш амал бар:

;

Буль алгебрасының әр бір амалына түйіндес амалдарды анықтайық.

жүктеу 21,8 Mb.

Достарыңызбен бөлісу:

1 ... 68 69 70 71 72 73 74 75 ... 214