1 пєнініњ ОЌу программасы syllabus

болса оны МДҚФ түрінде өрнектейтін жалғыз ғана формула бар.

Мысалы, ақиқаттық кестемен берілген функциясының МДҚФ, МКҚФ табу керек. Функцияның толықтығы туралы теорема бойынша

x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1

Сонымен МДҚФ , МКҚФ - белгілері.

1. 
   дизъюнкцияның (конъюнкцияның ) мүшелері әр түрлі
   
2. 
   конъюнктердің (дизъюнктердің ) мүшелері әр түрлі
   
3. 
   бір де бірі конъюнкте (дизъюнкте)айнымалының әрі өзі ,әрі оның терістеуі бірге болмайды.
   
4. 
   Әрбір конъюнктің (дизъюнктің ) құрамында формулаға енетін барлық айнымалылар болуы керек, яғни х₁^ х₂^...  х₃^ мұндағы х_і^ не өзі , не .
   

Кез келген F (х₁,х₂...х_n ) формуласын МДҚФ (МКҚФ ) түріне келтіру үшін мына ережені қолдануға болады.

1. 
   F (х₁,х₂...х_n ) формуласын қандайда бір дизъюнктивті (конъюнктивті) қалыпты формаға түрлендіру.
   
2. 
   Егер конъюнктке қандай да бір айнымалы өзінің терістеуімен бірге кірсе оны ДҚФ- тан жою керек. (х   0)
   
3. 
   Егер конъюнктке бір литер х^ бірнеше рет кірсе, олардың біреуін ғана қалдырып калғандарын қысқарту керек. (х  х х)
   
4. 
   Егер конъюнктердің біріне ( ) y айнымалыc кірмей тұрса, онда бүл конъюнктті оған эквивалентті формуламен алмастырамыз да, дистрибутивті заңды (x (yz)) = xy  xz қолданып ДҚФ түріне келтіреміз. Егер толық емес конъюнкт бірнешеу болса олардың әрқайысысы үшін сәйкес формуласын қосамыз.
   
5. 
   Алынған ДҚФ- да бірдей бірнеше конъюнктер болса олардың ( хх) біреуін ғана қалдырамыз.Нәтижесінде МДҚФ шығады.
   

2). Бірдейлерін жоямыз. Айнымалының терістеуімен бірге қатысып тұрған конъюнкция мүшесі, 3 қайталанып тұрған конъюнкция мүшесі 1 мен 4.

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

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

1. 
   Буль функцияларының негізгі қасиеттерін атаңыз.
   
2. 
   Логикалық функцияларды жіктеу туралы Шеннон теоремасы қандай?
   
3. 
   Буль алгебрасындағы негізгі эквиваленттік түрлендірулерді атаңыз.
   
4. 
   Функцияның МДҚФ,МКҚФ қалай табуға болады ?
   
5. 
   Қандай логикалық функцияда МДҚФ болмайды?