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

DOC 135.5 KB Free download

Page preview (5 pages)

Scroll down 👇

1352092701_28747.doc ҳисоблаш тизимларнинг мантиқий асослари ҳисоблаш тизимларнинг мантиқий асослари. умумий тушунчалар. мантиқ алгебраси элементар функцияларининг хусусиятлари режа: 1. мантиқ, мантиқий ўзгарувчилар ва функциялар тушунчалари ҳамда таърифлари. 2. бир ва икки аргументли мантиқ функциялари. 3. мантиқ алгебраси элементар функцияларининг хусусиятлари. математик мантиқнинг асосий қисмларидан бири - мантиқ алгебраси ҳисоблаш машиналарининг асоси ҳисобланади. мантиқ алгебраси фикрлар билан иш кўради. фикр деганда ҳақиқий ёки ёлғонлиги нуқтаи назаридан билдирилган ҳар қандай тасдиқ тушунилади. фикрнинг ҳақиқийлиги ёки ёлғонлигидан бошқа аломатлари (яхши, ёмон, нодир ва ҳ.) эътиборга олинмайди. мантиқ алгебрасида фикрларнинг ҳақиқийлиги 1 билан, ёлғонлиги 0 билан тенглаштириш қабул қилинган. фикрларнинг бу иккили табиатига мослигини ҳисобга олиб, уларни мантиқий ўзгарувчилар деб аташади. фикрлар ёки мантиқий ўзгарувчилар оддий бўлади ва лотин алифбосининг кичик ҳарфлари - x, y, z, x1, x2, a, b, . . . билан белгиланади. оддий фикрлардан мантиқий ўзгарувчиларнинг иккили функциялари ҳисобланувчи мураккаб фикрлар тузилади. мураккаб фикрлар катта ҳарфлар a, b, c, d, e, f, …

ккита х ва у ўзгарувчиларнинг элементар мантиқий функцияларини кўрайлик (6.2-жадвал). 6.2-жадвал функция ху аргументли функция қиймати функция белгиси функция номи 00 01 10 11 f0 0 0 0 0 0 доимо ёлғон f1 0 0 0 1 x(y конъюнкция f2 0 0 1 0 у бўйича таъқиқ f3 0 0 1 1 x х доимо ҳақиқий f4 0 1 0 0 y х бўйича таъқиқ f5 0 1 0 1 y у доимо ҳақиқий f6 0 1 1 0 x(y х ва у ни 2 нинг модули бўйича қўшиш f7 0 1 1 1 x(y дизъюнкция f8 1 0 0 0 x(y пирс стрелкаси f9 1 0 0 1 x(y тенг қийматлилик f10 1 0 1 0 у доимо ёлғон f11 1 0 1 1 x(y импликация f12 1 1 0 0 х доимо ёлғон f13 1 1 0 1 y(x импликация f14 1 1 1 0 х/y шеффер штрихи …

(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-жадвал). таъкидлаш лозимки, импликация сабаб ва оқибат орасидаги боғланиш маъносига эга эмас, яъни х нинг ҳақиқийлигидан у нинг ҳақиқийлик шарти келиб чиқмайди. аксинча, импликация ёрдамида тузилган мураккаб фикрнинг ҳақиқийлиги учун х нинг ёлғонлиги кифоя. f13 функция у(х га мос келади. - х ва у нинг шеффер штрихи. х/у каби белгиланади. «х штрих у» деб ўқилади. таърифи: х ва у нинг шеффер штрихи мураккаб функция бўлиб, у фақат х ва у ҳақиқий бўлгандагина ёлғон ҳисобланади (6.8-жадвал). - х ва у нинг пирс стрелкаси. х(у каби белгиланади. «х пирс стрелкаси у» деб ўқилади. таърифи: х ва у нинг …

и чиқариб ташлаб, уларни дастлабки қиймат билан алмаштириш имконияитини билдиради; 2) бундай ўзгартириш қоидалари мантиқий ифода узунлигини қисқартиришга имкон беради; 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) бу хусусиятларнинг ўринли эканлигини юқоридаги аксиомалардан фойдаланиб исботлаш айтарлича қийин эмас. де морган қонунлари сифатида маълум қуйидаги муносабатларнинг ҳақиқатлигини ҳам кўрсатиш мумкин: (6.1) бу қонундан қуйидагини ёзиш мумкин: (6.2) демак, конъюнкцияни дизъюнкция ва инкор орқали ёки дизъюнкцияни конъюнкция ва инкор орқали ифодалаш мумкин. мантиқий функциялар учун сингдириш қонуни сифатида маълум қуйидаги муносабатлар ўрнатилган: (6.3) 2 нинг модули бўйича қўшиш функцияси қуйидаги хусусиятларга эга: коммутативлик (кўчириш қонуни) х(у=у(х; ассоциативлик (уйғунлашиш қонуни) х((у(z)=(x(y)(z; дистрибутивлик (тақсимланиш қонуни) х(у(z)=(xy)((хz). бу функция …

учун фақат коммутативлик (кўчириш қонуни) ўринлидир: х/у=у/х, ва, ёки, эмас функциялари шеффер штрихи функцияси орқали қуйидагича ифодаланади: (6.6) пирс стрелкаси функцияси учун қуйидаги аксиомалар ўринли: х(х=(х; х(0=(х; х((х=0; х(1=0. пирс стрелкаси функцияси учун фақат коммутативлик (кўчириш қонуни) хусусияти ўринли: х(у=у(х. ва, ёки, эмас функцияларини пирс стрелкаси функцияси орқали қуйидагича ифодалаш мумкин: (6.7) адабиётлар: 1. ғаниев с.к., каримов м.м., мамбетов н.м. ҳисоблаш тизимларининг ахборот асослари. олий ўқув юрт.студ. учун дарслик. -тошкент.: тдту, 2002, 92 - 99 б. 2. савельев а.я. основы информатики. учеб. для вузов. –м изд-во мгтуим. н.э баумана, 2001, 228 – 232 б. 3. лысиков б.г арифметические и логические основы цифровых автоматовх [учебник для вузов по спец. "электронные вычислительные машины"]. минск: выша школа, 1980, 57 – 70 б. 4.www.ziyonet.uz _1082032961.unknown _1082033092.unknown _1082033136.unknown _1082033084.unknown _1078148909.unknown _1078148911.unknown _1078148912.unknown _1078148910.unknown _1078148907.unknown _1078148908.unknown _1078148906.unknown _1078148905.unknown

Want to read more?

Download the full file for free via Telegram.

Download full file

About "ҳисоблаш тизимларнинг мантиқий асослари"

1352092701_28747.doc ҳисоблаш тизимларнинг мантиқий асослари ҳисоблаш тизимларнинг мантиқий асослари. умумий тушунчалар. мантиқ алгебраси элементар функцияларининг хусусиятлари режа: 1. мантиқ, мантиқий ўзгарувчилар ва функциялар тушунчалари ҳамда таърифлари. 2. бир ва икки аргументли мантиқ функциялари. 3. мантиқ алгебраси элементар функцияларининг хусусиятлари. математик мантиқнинг асосий қисмларидан бири - мантиқ алгебраси ҳисоблаш машиналарининг асоси ҳисобланади. мантиқ алгебраси фикрлар билан иш кўради. фикр деганда ҳақиқий ёки ёлғонлиги нуқтаи назаридан билдирилган ҳар қандай тасдиқ тушунилади. фикрнинг ҳақиқийлиги ёки ёлғонлигидан бошқа аломатлари (яхши, ёмон, нодир ва ҳ.) эътиборга олинмайди. мантиқ алгебрасида фикрларнинг ҳақиқийлиги 1 билан, ёлғонлиги 0 билан тенглаштириш қабул ...

DOC format, 135.5 KB. To download "ҳисоблаш тизимларнинг мантиқий асослари", click the Telegram button on the left.

Tags: ҳисоблаш тизимларнинг мантиқий … DOC Free download Telegram