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



жүктеу 19,56 Mb.
бет18/34
Дата31.05.2018
өлшемі19,56 Mb.
#18555
1   ...   14   15   16   17   18   19   20   21   ...   34

Теорема. Кез келген Буль функциясын өрнектейтін формула табылады Егер

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





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



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

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. Әрбір конъюнктің (дизъюнктің ) құрамында формулаға енетін барлық айнымалылар болуы керек, яғни х1 х2...  х3 мұндағы хі не өзі , не .

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

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



  1. F (х12...хn ) формуласын қандайда бір дизъюнктивті (конъюнктивті) қалыпты формаға түрлендіру.

  2. Егер конъюнктке қандай да бір айнымалы өзінің терістеуімен бірге кірсе оны ДҚФ- тан жою керек. (х   0)

  3. Егер конъюнктке бір литер х бірнеше рет кірсе, олардың біреуін ғана қалдырып калғандарын қысқарту керек. (х  х х)

  4. Егер конъюнктердің біріне ( ) y айнымалыc кірмей тұрса, онда бүл конъюнктті оған эквивалентті формуламен алмастырамыз да, дистрибутивті заңды (x (yz)) = xy  xz қолданып ДҚФ түріне келтіреміз. Егер толық емес конъюнкт бірнешеу болса олардың әрқайысысы үшін сәйкес формуласын қосамыз.

  5. Алынған ДҚФ- да бірдей бірнеше конъюнктер болса олардың ( хх) біреуін ғана қалдырамыз.Нәтижесінде МДҚФ шығады.

Мысалы, ДҚФ –ны МДҚФ-қа түрлендіру керек.





КҚФ-ны МКҚФ түрлендірудің алгоритмі де осындай. Мысал арқылы көрейік. формуланы МКҚФ ға келтіру керек болсын.

1. Формуланы қандайда бір конъюнктивті қалыпты формаға (КҚФ) келтіреміз.

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






Негізгі әдебиет: 2[180-185]; 3[172-193].

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

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


  1. Буль функцияларының негізгі қасиеттерін атаңыз.

  2. Логикалық функцияларды жіктеу туралы Шеннон теоремасы қандай?

  3. Буль алгебрасындағы негізгі эквиваленттік түрлендірулерді атаңыз.

  4. Функцияның МДҚФ,МКҚФ қалай табуға болады ?

  5. Қандай логикалық функцияда МДҚФ болмайды?


жүктеу 19,56 Mb.

Достарыңызбен бөлісу:
1   ...   14   15   16   17   18   19   20   21   ...   34




©g.engime.org 2024
әкімшілігінің қараңыз

    Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау