Ҳисоблаш тизимларнинг мантиқий асослари - Информатика и ИТ - Рефераты

Ҳисоблаш тизимларнинг мантиқий асослари

Загружено в:

20.09.2019

Скачано:

0

Размер:

135.5 KB

Ҳ исоблаш тизимларнинг мантиқий асослари. умумий тушунчалар . Мантиқ алгебраси элементар функцияларининг хусусиятлари Режа: 1. Мантиқ , мантиқий ўзгарувчилар ва функциялар тушунчалари ҳамда таърифлари . 2. Бир ва икки аргументли мантиқ функциялари. 3. Мантиқ алгебраси элементар функцияларининг хусусиятлари.

Математик мантиқнинг асосий қисмларидан бири - мантиқ алгебраси ҳисоблаш машиналарининг асоси ҳисобланади . Мантиқ алгебраси фикрлар билан иш кўради. Фикр деганда ҳақиқий ёки ёлғонлиги нуқтаи назаридан билдирилган ҳар қандай тасдиқ тушунилади. Фикрнинг ҳақиқийлиги ёки ёлғонлигидан бошқа аломатлари (яхши, ёмон, нодир ва ҳ.) эътиборга олинмайди. Мантиқ алгебрасида фикрларнинг ҳақиқийлиги 1 билан, ёлғонлиги 0 билан тенглаштириш қабул қилинган. Фикрларнинг бу иккили табиатига мослигини ҳисобга олиб, уларни мантиқий ўзгарувчилар деб аташади. Фикрлар ёки мантиқий ўзгарувчилар оддий бўлади ва лотин алифбосининг кичик ҳарфлари - x , y , z , x 1 , x 2 , a , b , . . . билан белгиланади. Оддий фикрлардан мантиқий ўзгарувчиларнинг иккили функциялари ҳисобланувчи мураккаб фикрлар тузилади. Мураккаб фикрлар катта ҳарфлар A , B , C , D , E , F , ... билан белгиланади ва кўпинча мантиқ алгебрасининг функцияси (МАФ) деб аталади. Мантиқ алгебраси элементар мантиқий функциялар ёрдамида мантиқ алгебраси функцияларини ифодалаш ва ўзгартириш билан шуғулланади. МАФ ларини ифодалаш ва ўзгартириш масалалари ҳисоблаш машиналарини лойиҳалашда кенг қўлланилади. Элементар мантиқий функциялар қаторига аввало битта ўзгарувчи х нинг элементар функцияларини киритиш мумкин. Бу функциялар ҳақиқийлик жадвали деб аталувчи жадвалда келтирилган (6.1-жадвал). Умуман, ҳақиқийлик жадвали аргументларнинг (мантиқий ўзгарувчиларнинг) мумкин бўлган тўпламларидан ҳар бирига мос функция қийматини акслантиради. 6. 1 -жадвал. Функци я х аргументли функция қиймати Функция белгиси Функция номи

0 1 f 0 0 0 0 доимо ёлғон f 1 0 1 x ўзгарувчи f 2 1 0  x инкор f 3 1 1 1 доимо ҳақиқий Иккита х ва у ўзгарувчиларнинг элементар мантиқий функцияларини кўрайлик (6.2-жадвал). 6.2-жадвал Функци я ху аргументли функция қиймати Функц ия белгис и Функция номи 00 01 10 11 f 0 0 0 0 0 0 доимо ёлғон f 1 0 0 0 1 x  y конъюнкция f 2 0 0 1 0y x у бўйича таъқиқ f 3 0 0 1 1 x х доимо ҳақиқий f 4 0 1 0 0 x y х бўйича таъқиқ f 5 0 1 0 1 y у доимо ҳақиқий f 6 0 1 1 0 x  y х ва у ни 2 нинг модули бўйича қўшиш f 7 0 1 1 1 x  y дизъюнкция f 8 1 0 0 0 x  y Пирс стрелкаси f 9 1 0 0 1 x  y тенг қийматлилик f 10 1 0 1 0 y у доимо ёлғон f 11 1 0 1 1 x  y импликация f 12 1 1 0 0 x х доимо ёлғон f 13 1 1 0 1 y  x импликация f 14 1 1 1 0 х / y Шеффер штрихи f 15 1 1 1 1 1 доимо ҳақиқий

6.2-жадвалдаги функциялардан бир қисми тривиал ҳисобланади. Масалан, f 0 =0, f 15 =1 ва f 3 = x , f 5 = y . Уларнинг ичида иккитаси элементар функциялардир - f 10 =  y , f 12 =  x . f 2 ва f 4 функциялари эса мос ҳолда у ва х бўйича таъқиқи функциялари ҳисобланади. Қолганларини қисқача тавсифлайлик: - х ва у мантиқий ўзгарувчиларнинг дизъюнкцияси . Қисқача х ва у нинг дизъюнкцияси. х  у каби белгиланади. « х ёки у » деб ўқилади. Таърифи: х ва у мантиқий ўзгарувчиларнинг дизъюнкцияси мураккаб функция бўлиб, у фақат х ва у ёлғон бўлгандагина ёлғон ҳисобланади (6.3-жадвал). - х ва у мантиқий ўзгарувчиларнинг конъюнкцияси . х  у каби белгиланади. « х ҳам у » деб ўқилади. Таърифи: х ва у нинг конъюнкцияси мураккаб функция бўлиб, у фақат х ва у ҳақиқий бўлгандагина ҳақиқий ҳисобланади (6.4-жадвал). 6.3-жадвал 6.4-жадвал 0  0=0 0  1=1 1  0=1 1  1=1 0  0=0 0  1=0 1  0=0 1  1=1 - х ва у мантиқий ўзгарувчиларнинг тенг қийматлилиги . х  у каби белгиланади. « х у га тенг қийматлик» деб ўқилади. Таърифи: х ва у нинг тенг қийматлилиги мураккаб функция бўлиб, у фақат х ва у ҳақиқийликлари мос келгандагина ҳақиқий ҳисобланади (6.5-жавдал). - х ва у ни 2 нинг модули бўйича қўшиш . х  у каби белгиланади. « х ни у га 2 нинг модули бўйича қўшиш» деб ўқилади. Таърифи: х ва у ни 2 нинг модули бўйича қўшиш мураккаб функция бўлиб, у фақат х ва у нинг ҳақиқийликлари мос келмаганда ҳақиқий ҳисобланади (6.6-жадвал). Баъзи адабиётларда бу функцияни тенг қийматлиликнинг инкори деб ҳам аташади. 6.5-жадвал 6.6-жадвал

0  0=1 0  1=0 1  0=0 1  1=1 0  0=0 0  1=1 1  0=1 1  1=0 - х ва у нинг импликацияси . х  у каби белгиланади. «Агар х , унда у » деб ўқилади. Таърифи: х ва у нинг импликацияси мураккаб функция бўлиб, у фақат х ҳақиқий, у ёлғон бўлгандагина ёлғон ҳисобланади (6.7-жадвал). таъкидлаш лозимки, импликация сабаб ва оқибат орасидаги боғланиш маъносига эга эмас, яъни х нинг ҳақиқийлигидан у нинг ҳақиқийлик шарти келиб чиқмайди. Аксинча, импликация ёрдамида тузилган мураккаб фикрнинг ҳақиқийлиги учун х нинг ёлғонлиги кифоя. f 13 функция у  х га мос келади. - х ва у нинг Шеффер штрихи . х/ у каби белгиланади. « х штрих у » деб ўқилади. Таърифи: х ва у нинг Шеффер штрихи мураккаб функция бўлиб, у фақат х ва у ҳақиқий бўлгандагина ёлғон ҳисобланади (6.8-жадвал). - х ва у нинг Пирс стрелкаси . х  у каби белгиланади. « х Пирс стрелкаси у » деб ўқилади. Таърифи: х ва у нинг Пирс стрелкаси мураккаб функция бўлиб, у фақат х ва у ёлғон бўлгандагина ҳақиқий ҳисобланади (6.9-жадвал). 6.7-жадвал 6.8-жадвал 6.9-жадвал 0  0=1 0  1=1 1  0=0 1  1=1 0  0=1 0  1=1 1  0=1 1  1=0 0  0=1 0  1=0 1  0=0 1  1=0 Юқорида кўрилган элементар мантиқий функциялар ёрдамида ихтиёрий МАФни тавсифлаш мумкин. 6.10-жадвалда учта ўзгарувчили мантикий функция учун ҳақиқатлик жадвали келтирилган.

6.10-жадвал Тўплам тартиб рақами х 1 , х 2 , х 3 тўпламлари f функция қиймати 0 1 2 3 4 5 6 7 000 001 010 011 100 101 110 111 0 0 0 1 0 1 1 1 Мантиқ алгебраси элементар функцияларининг хусусиятлари 6.2-жадвалдан кўриниб турибдики, элементар функциялар ўзаро маълум боғланишларга эга. Бу боғланишларни ҳамда элементар функцияларнинг хусусиятларини кўриб чиқайлик. Конъюнкция, дизъюнкция, инкор (ВА, ЁКИ, ЭМАС) функциялари . Мантиқ алгебрасининг асосий қоидаларидан фойдаланиб, қуйидаги аксиомаларнинг ўринли эканлигига қаноат ҳосил қилиш мумкин. Айтайлик, х - бирор бир мантиқий функция. Унда 1) х =  х , мантиқий ифодадан барча қўшалоқ инкорга эга бўлган ҳадларни чиқариб ташлаб, уларни дастлабки қиймат билан алмаштириш имконияитини билдиради; 2) ,     x x x x x x бундай ўзгартириш қоидалари мантиқий ифода узунлигини қисқартиришга имкон беради; 3) х  0= х ; 4) х  1=1; 5) х  0=0; 6) х  1=1; 7) х  х =0; 8) х  х =1 (мантиқий ҳақиқийлик). Дизъюнкция ва конъюнкция арифметикадаги кўпайтириш амалларига ўхшаш қатор хусусиятларга эга:

1) ассоциативлик хусусияти (уйғунлашиш қонуни): х  ( y + z )=( x + y )+ z , x ( yz )=( xy ) z 2) коммутативлик хусусияти (кўчириш қонуни): x  y = y  x , xy = yx ; 3) дистрибутивлик хусусияти (тақсимланиш қонуни): дизъюнкцияга нисбатан конъюнкция учун x ( y  z )= xy  xz , конъюнкцияга нисбатан дизъюнкция учун x  yz =( x  y )( x  z ) Бу хусусиятларнинг ўринли эканлигини юқоридаги аксиомалардан фойдаланиб исботлаш айтарлича қийин эмас. Де Морган қонунлари сифатида маълум қуйидаги муносабатларнинг ҳақиқатлигини ҳам кўрсатиш мумкин:     . ; yx y x y x xy (6.1) Бу қонундан қуйидагини ёзиш мумкин:       . ; yx y x y x xy (6.2) демак, конъюнкцияни дизъюнкция ва инкор орқали ёки дизъюнкцияни конъюнкция ва инкор орқали ифодалаш мумкин. Мантиқий функциялар учун сингдириш қонуни сифатида маълум қуйидаги муносабатлар ўрнатилган:      ; ) ( , ) ( x y x x x xy x (6.3) 2 нинг модули бўйича қўшиш функцияси қуйидаги хусусиятларга эга: коммутативлик (кўчириш қонуни) х  у = у  х ; ассоциативлик (уйғунлашиш қонуни) х  ( у  z )=( x  y )  z ;

дистрибутивлик (тақсимланиш қонуни) х ( у  z )=( xy )  ( х z ). Бу функция учун қуйидаги аксиомалар ўринли: х  х =0; х  1=  х ; х  х =1; х  0= х . Аксиомалар ва хусусиятлардан фойдаланиб ВА, ЁКИ, ЭМАС функцияларни 2 нинг модули бўйича қўшиш функцияси орқали ифодалаш мумкин:              ). ( ) ( ;1 y x y x y x xy y x y x x x (6.4) Импликация функцияси учун қуйидаги аксиомалар ўринли: х  х =1; х  х =  х ; х  1=1; 1  х = х ; х  0=  х ; 0  х =1. Аксиомалардан кўриниб турибдики, импликация фақат кўриниши ўзгарган коммутативлик (кўчириш қонуни) хусусиятига эга х  у =  у  х . Бу функция учун ассоциативлик хусусияти ўринсиздир. ВА, ЁКИ, ЭМАС функциялари импликация функцияси орқали қуйидагича ифодаланади:            .0 ; ; x x y x xy xy y x y x (6.5) Шеффер штрихи функцияси учун қуйидаги аксиомалар ўринли: х / x =  x ; x /1=  x ; x /  x =1;  x /0=1; x /0=1;  x /1= x . Шеффер штрихи функцияси учун фақат коммутативлик (кўчириш қонуни) ўринлидир: х / у = у / х ,

ВА, ЁКИ, ЭМАС функциялари Шеффер штрихи функцияси орқали қуйидагича ифодаланади:            . / / / / ; / ; / / / / y y x x y x yx y x y x x x x y x y x y x xy (6.6) Пирс стрелкаси функцияси учун қуйидаги аксиомалар ўринли: х  х =  х ; х  0=  х ; х  х =0; х  1=0. Пирс стрелкаси функцияси учун фақат коммутативлик (кўчириш қонуни) хусусияти ўринли: х  у = у  х . ВА, ЁКИ, ЭМАС функцияларини Пирс стрелкаси функцияси орқали қуйидагича ифодалаш мумкин:               . ); ( ) ( ); ( ) ( x x x y x y x y x y y x x xy (6.7)

Адабиётлар : 1. Ғаниев С . К ., Каримов М . М ., Мамбетов Н . М . Ҳисоблаш тизимларининг Ахборот асослари . Олий ўқув юрт.студ. учун дарслик. -Тошкент.: ТДТУ, 2002, 92 - 99 б. 2. Савельев А.Я. Основы информатики. Учеб. Для вузов. –М Изд-во МГТУим. Н.Э Баумана, 2001, 228 – 232 б. 3. Лысиков Б.Г Арифметические и логические основы цифровых автоматовх [Учебник для вузов по спец. "Электронные вычислительные машины"]. Минск: Выша школа, 1980, 57 – 70 б. 4. www.ziyonet.uz

Похожие

Сонли автоматларнинг арифметик ва мантиқий асослари. Мантиқий алгебранинг асосий қонунлари. Ахборотларни физик тасвирлаш

Эксперт тизимларнинг хусусиятлари

Арифметик-Мантиқий Қурилма

Операцион тизимларнинг машинага боғлик булмаган хусусиятлари

Ҳисоблаш тизимларининг арифметик асослари саноқ тизими. Сонларни ЭҲМда ифодалаш усуллари