-Дәріс. Ақиқат кесте бойынша берілген Буль функциясына формула құру әдісі

7-Дәріс. Ақиқат кесте бойынша берілген Буль функциясына формула құру әдісі

Буль функцияларының түйіндестік принципі.

Тұжырымдар логикасының әрбір формуласына ақиқат кесте құруға болатынын білеміз. Керісінше қалай? Керісінше де яғни ақиқат кесте бойынша формула құруға болатынын көреміз.

2. Осы құрамаларға сәйкес конъюнкция жазамыз. Егер х_і аргументінің құрамадағы мәні 1-ге тең болса ол конъюнкцияға өзгеріссіз енеді,ал х_і=0, болса конъюнкцияға оның терістеуі алынады.

3. Алынған барлық конъюнкциялардың дизъюнкциясы іздеген формула болады және ол құрылған функцияның МДҚФ-ы болады.

3,4,6-құрамалардың нөмірлері 0,2,5,7- құрамалардың нөмірлері

х1 x2 x3 f (x1 ,x2,x3 ) 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 F=( )

x1 x2 x3 f (x1 ,x2,x3 ) 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 F=( )

функциясына МКҚФ құруға қолданайық.

1.Кестеден функцияны 0-ге айналдыратын аргументтерге сәйкес құрамалар алынады(асты сызылады). 2. Осы құрамаларға сәйкес дизъюнкция жазамыз. Егер хі аргументінің құрамадағы мәні 0-ге тең болса ол конъюнкцияға өзгеріссіз енеді, ал хі=1, болса конъюнкцияға оның терістеуі алынады. 3. Алынған барлық дизъюнкциялар конъюнкциямен жалғастырылады.

x1 x2 x3 f (x1 ,x2,x3 ) 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 0

						(
0	0	0	1	0	0	0	1
0	0	1	1	0	1	0	1
0	1	0	0	1	0	0	0
0	1	1	0	1	1	1	1
1	0	0	1	1	1	0	0
1	0	1	1	1	1	0	0
1	1	0	0	0	1	1	1
1	1	1	0	0	1	1	1