Умумкийматли ва бажарилувчи формулалар. Жумлалар алгебрасининг функциялари

Загружено в:

12.09.2022

Скачано:

0

Размер:

45.5 KB

Скачать

Умумкийматли ва бажарилувчи формулалар. Жумлалар алгебрасининг функциялари Режа 1. Умумкийматли формулалар. 2. Икки кийматли формулалар.

$Таъриф . МА нинг  формуласи, формула таркибига кирган барча мулощазаларнинг =абул =илиши мумкин бûлган барча =ийматларида рост бûлса, бу формула айнан рост формула ёки тавтология ёки манти= =онуни ёки умум=ийматли дейилади. Таъриф . МА нинг  ( А 1 , . . . , А n ) формуласи А 1 ,. . . , А n мулощазаларнинг барча =ийматлари тизими ( i 1 , . . . , i n ) лар учун 0 =иймат =абул =илса, айнан ёл\он ёки зиддият дейилади. Таъриф . Агар МА нинг  ( А 1 , . . . , А n ) формуласи учун А 1 , . . . , А n ларнинг камида битта ( i 1 , . . . , i n ) =ийматлари тизими учун 1 га тенг =иймат =абул =илса, бажарилувчи формула дейилади. Теорема . МА нинг  ва  формулалари тенг кучли формулалар бûлиши учун    формула айнан рост формула бûлиши зарур ва етарли. Асосий тенг кучли формулалар . 1. А  А  А (конъюнкциянинг идемпотентлик =онуни). 2. А  А  А (дизъюнкциянинг идемпотентлик =онуни). 3. А  1  А. 4. А  1  1. 5. А  0  0 . 6. А  0  А . 7. А   А = 1 – учинчисини инкор =илиш =онуни. 8. А   А = 0 - зиддиятга келтириш =онуни. 9.   А = А - =ûш инкор =онуни. 10. А  ( В  А )  А 11. А  ( В  А )  А 12. А  В  ( А  В )  ( В  А ).$

13. А  В   А  В . 14.  (А  В)   А  В . 15.  (А  В)   А   В . 16. А  В   (  А   В) . 17. А  В   (  А   В) 18. А  В  В  А –конъюнкциянинг коммутативлик =онуни. 19. А  В  В  А – дизъюнкциянинг коммутативлик =онуни. 20. А  ( В  С )  ( А  В )  ( А  С ) -  нинг  га нисбатан дистрибутивлик =онуни. 21. А  ( В  С )  ( А  В )  ( А  С ) -  нинг  га нисбатан дистрибутивлик =онуни. 22. А  ( В  С )  ( А  В )  С –конъюнкциянинг ассоциативлик =онуни. 23. А  ( В  С )  ( А  В )  С – дизъюнкциянинг ассоциативлик =онуни. Таъриф .Бûш бûлмаган М тûплам ва унда ани=ланган " + " - =ûшиш , " · " – кûпайтириш, "  " – инкор амалларига нисбатан =уйидаги шартлар бажарилган бûлсин : 1. х + у = у + х - =ûшишга нисбатан коммутативлик =онуни 2. х · у = у · х - кûпайтиришга нисбатан коммутативлик =онуни. 3. ( х + у ) + z = x + ( y + z ) -=ûшишга нисбатан ассоциативлик =онуни.. 4. ( х · у ) · z = x · ( y · z ) – кûпайтиришга нисбатан ассоциативлик =онуни. 5. х + х = х =ûшишга нисбатан идемпотентлик =онуни. 6. х · х = х – кûпайтиришга нисбатан идемпотентлик

=онуни. 7.   х = х - =ûш инкор =онуни. 8.  (х + у) =  х ·  у 9.  (х · у) =  х +  у - де – Морган =онунлари. 10. х + ( у · х ) = х 11. х · ( у + х ) = х - ютилиш =онунлари. 12. ( х + у ) · z = ( x · z ) + ( y · z ) -=ûшишнинг кûпайтиришга нисбатан дистрибутивлик =онуни. 13. ( x · y ) + z = ( x + z ) · ( y + z ) –кûпайтиришнинг =ûшишга нисбатан дистрибутивлик =онуни. < M ; + , · ,  > -алгебрага Буль алгебраси дейилади. Мисол . Асосий тенг кучлиликлардан кûринадики, МА да конъюнкцияни - " · " , дизъюнкцияни - " + " га мос =ûйсак, МА Буль алгебрасига мисол бûла олади. Таъриф . Х = { 0 , 1 } –икки элементли тûплам берилган бûлсин. У щолда f : Х n  Х ( n  0, 1, 2, . . . ) - функция n – ûзгарувчили Буль функцияси ёки 2 - =ийматли функция дейилади. n  0 , бûлганда , Х тûпламнинг ажратилган элементларини , яъни 0 ёки 1 ни щосил =иламиз. МА нинг ищтиёрий формуласи икки =ийматли функцияга мисол бûла олади. 1. Формуладаги щар бир =ûшилувчида F ( X 1 , . . . , X n ) функцияга кирган барча Х 1 , . . . , Х n ûзгарувчилар =атнашади. 2. Формулада бир щил =ûшилувчилар йû=. Щар бир =ûшилувчида Х 1 , . . . , Х n ûзгарувчилар фа=ат бир мартагина =атнашади. Агар F ( X 1 , . . . , X n ) функциянинг ростлик жадвали берилган бûлса , уни МА нинг формуласи ор=али ифода =илиш учун Х 1 , . . . , Х n ûзгарувчиларнинг F ( X 1 , . . . , X n )

$функция 1 га тенг =иймат =абул =иладиган =ийматлари тизимларинигина ажратиб оламиз.Бундай =ийматлар тизими учун Х к ûзгарувчи 1 га тенг =иймат =абул =илса ,Х к ни ûзини, акс щолда Х к нинг инкорини олиб Х 1 , . . . , Х к ûзгарувчилардан конъюнкциялар тузиб оламиз. Щосил бûлган барча конъюнкцияларнинг йи\индиси F ( X 1 , . . . , X n ) формуланинг ифодаси бûлади. Текшириш учун саволлар : 1. Умум=ийматли,бажарилувчи,айнан ёл\он формулалар. 2. Буль алгебраси,икки =ийматли функциялар. Таянч тушунчалар : умум=ийматли,бажарилувчи,айнан ёл\он формулалар;Буль алгебраси,икки =ийматли функция.$ Адабиётлар : 1. Ё = убов Т ., Каллибеков С . Математик манти = элементлари . Т .,1996. 2. Новиков П . С . Элемент ы математической логики . М .1973. 3. Чёрч А . Введение в математическую логику . М .,1960. 4. Мальцев А . И . Алгоритм ы и рекурсивн ы е функции . М .,1965. 5. ЛавровИ . А ., Максимова Л . Л . Задачи по теории множеств , математической логике и теории алгоритмов . М .,1975.

Умумкийматли ва бажарилувчи формулалар. Жумлалар алгебрасининг функциялари

12.09.2022

0

45.5 KB

Похожие