буль алгебрасининг асосий аксиома ва қонунлари

DOC 78,5 КБ Бесплатная загрузка

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇

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

y конюнкция f2 0 0 1 0 xy й бўйича таҳқиқ f3 0 0 1 1 х х доимоҳақиқий f4 0 1 0 0 xy х бўйича таҳқиқ f5 0 1 0 1 y й доимо ҳақиқий f6 0 1 1 0 хy х ва й ни 2 нинг модули бўйича қўшиш f7 0 1 1 1 хy дизюнкция f8 1 0 0 0 хy пирс стрелкаси f9 1 0 0 1 хy тенг қийматлилик f10 1 0 1 0 y й доимо ёлғон f11 1 0 1 1 хy импликация f12 1 1 0 0 x х доимо ёлғон f13 1 1 0 1 йy импликация f14 1 1 1 0 х/y шеффер штрихи f15 1 1 1 1 1 доимо ҳақиқий 4.2-жадвалдаги функциялардан бир қисми тривиал ҳисобланади. масалан, f0=0, f15=1 ва f3=х, f5=y. уларнинг ичида иккитаси элементар функциялардир - f10=y, f12=х. f2 ва f4 функциялари эса мос ҳолда …

б ўқилади. таҳрифи: х ва й нинг импликацияси мураккаб функция бўлиб, у фақат х ҳақиқий, y ёлғон бўлгандагина ёлғон ҳисобланади (7-жадвал). таҳкидлаш лозимки, импликация сабаб ва оқибат орасидаги боғланиш маҳносига эга эмас, яхни х нинг ҳақиқийлигидан й нинг ҳақиқийлик шарти келиб чиқмайди. аксинча, импликация ёрдамида тузилган мураккаб фикрнинг ҳақиқийлиги учун х нинг ёлғонлиги кифоя. ф13 функция yх га мос келади. · х ва y нинг шеффер штрихи. х/y каби белгиланади. «х штрих y» деб ўқилади. таҳрифи: х ва y нинг шеффер штрихи мураккаб функция бўлиб, у фақат х ва й ҳақиқий бўлгандагина ёлғон ҳисобланади (8-жадвал). · х ва y нинг пирс стрелкаси. хy каби белгиланади. «х пирс стрелкаси й» деб ўқилади. таҳрифи: х ва й нинг пирс стрелкаси мураккаб функция бўлиб, у фақат х ва й ёлғон бўлгандагина ҳақиқий ҳисобланади (9-жадвал). 4.5-жадвал 4.6-жадвал 4.7-жадвал 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 фойдаланилган адабиётлар: 1. мейер …

буль алгебрасининг асосий аксиома ва қонунлари - Page 4

буль алгебрасининг асосий аксиома ва қонунлари - Page 5

Хотите читать дальше?

Скачайте полный файл бесплатно через Telegram.

Скачать полный файл

О "буль алгебрасининг асосий аксиома ва қонунлари"

1584171557.doc буль алгебрасининг асосий аксиома ва қонунлари режа: 1.санок тизимлари 2.буль алгебраси операциялари санок тизимлари математик мантиқнинг асосий қисмларидан бири - мантиқ алгебраси ҳисоблаш машиналарининг асоси ҳисобланади. мантиқ алгебраси фикрлар билан иш кўради. фикр деганда ҳақиқий ёки ёлғонлиги нуқтаи назаридан билдирилган ҳар қандай тасдиқ тушунилади. фикрнинг ҳақиқийлиги ёки ёлғонлигидан бошқа аломатлари (яхши, ёмон, нодир ва ҳ.к) эҳтиборга олинмайди. мантиқ алгебрасида фикрларнинг ҳақиқийлиги 1 билан, ёлғонлиги 0 билан тенглаштириш қабул қилинган. фикрларнинг бу иккили табиатига мослигини ҳисобга олиб, уларни мантиқий ўзгарувчилар деб аташади. фикрлар ёки мантиқий ўзгарувчилар оддий бўлади ва лотин алифбосининг кичик ҳарфлари - x, y, z, x1, x2, а, b, . . . билан белг...

Формат DOC, 78,5 КБ. Чтобы скачать "буль алгебрасининг асосий аксиома ва қонунлари", нажмите кнопку Telegram слева.

Теги: буль алгебрасининг асосий аксио… DOC Бесплатная загрузка Telegram