3-практикалық жұмыс

3-практикалық  жұмыс.  Логикалық  функциялардың  ақиқаттық  кестесін 

құрыңыз. 

Формулаларды 

эквивалентті 

түрлендірулері. 

Логикалық 

функцияларды жіктеу. МДҚФ, МКҚФ. 

1. F1 және F2 логикалық функциялары үшін ақиқаттық кесте құрыңыз.  

              F1=(X   Y)

(Z   X);              F2=X Z

(Z   X). 

2.    f(x,y,z)=x&y 

 y&z  функциясының  маңызды  айнымалыларының 

жиынын көрсетіңіз. 

        3.   X&(X   Z) &(Y   Z)   (X&Y)   (X&Z)   эквиваленттікті дәлелдеңіз. 

4.  f = x

y

   (x y   z)  функциясының қандай екендігін анықтаңыз (тепе-

тең ақиқат, тепе-тең жалған немесе орындалушы). 

5. 

Импликация,  2-ң  модулі  бойынша  қосу,  Пирс  стрелкасы 

функцияларының ассоциативтігін тексеріңіз.  

6.  1-тапсырмадағы   F1 және F2  функцияларын  ДҚФ, КҚФ түрлендіріңіз. 

Оларға МДҚФ, МКҚФ табыңыз. 

7.  f(x,y,z)  логикалық  функция  аргументтерінің  мәндер  жиынтықтары 

тізбегімен  берілген.  Оның  мүлтіксіз  конъюктивті  қалыпты  формасын 

табыңыз  (0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0), (1,0,1), (1,1,0), (1,1,1):   f = ( 0 1 

1 1 0 1 1 0 ).  

8.  f(x,y,z)=(x 

 y)

(x 

  z)  логикалық  функциясының  мүлтіксіз 

дизъюнктивті қалыпты формасын табыңыз. 

9.  f  =  x 

  (

y

 z)  функциясының  х  айнымалысы  бойынша,  х  және  у 

бойынша және  х, у, z бойынша жіктеулерін табу керек. 

10.  Эквивалентті  түрлендірулердің  көмегімен    ( x &(у   z))

(x&y)   z  

формуласын ДҚФ, КҚФ түріне түрлендіру керек. 

11. 2-ң модулі бойынша қосу операциясына МДҚФ анықтаңыз. 

 

Әдістемелік  ұсыныс.  Тапсырманы  орындау  үшін  оқылған  дәріс 

материалдары  мен  ұсынылған  әдебиеттен    логикалық  функциялар, 

импликация,  2-ң  модулі  бойынша  қосу,  Пирс  стрелкасы  функциялары, 

логикалық функцияларды дизъюнктивті, конъюнктивті қалыпты формаларға 

түрлендіру және әр түрлі әдістермен  мүлтіксіз дизъюнктивті қалыпты форма, 

мүлтіксіз  конъюнктивті  қалыпты  формаларын  табу  туралы  материалдарды  

оқып бақылау сұрақтарына жауап дайындаңыз. 

 

Негізгі әдебиет  3[172-193],  1[11-17] 

Қосымша әдебиет 7[66-80] ,7[50-65] 

Бақылау сұрақтары: 

1. МДҚФ деген не? 

2. МДҚФ әр конъюкциясының рангісі нешеге тең? 

3. МКҚФ-ға қандай элементар операциялар кіреді? 

4. МКҚФ қанша элементар дизъюнкциялар кіреді? 

        5.  Қандай  логикалық  функция    екінің  модулі  бойынша  қосу 

операциясының терістеуі деп аталады.? 

6. Қандай функция тавтология деп аталады? 

7. Қандай функция жалған деп аталады? 

8. Үшіншіні шығару заңы қандай?