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

• Буль алгебрасининг асосий аксиома ва қонунлари. Мантиқий константлар ва ўзгарувчилар.

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

• Рақамли техникада иккита ҳолатга эга бўлган, нол ва бир ёки “рост” ва “ёлғон” сўзлари билан ифодаланадиган схемалар қўлланилади. Бирор сонларни қайта ишлаш ёки эслаб қолиш талаб қилинса, улар бир ва нолларнинг маълум комбинацияси кўринишида ифодаланади. У ҳолда рақамли қурилмалар ишини таърифлаш учун махсус математик аппарат лозим бўлади. Бундай математик аппарат Буль алгебраси ёки Буль –мантиқи деб аталади. Уни ирланд олими Д. Буль ишлаб чиққан.

Мантиқий ифодалар ҳар бири 0 ёки 1 қиймат олувчи х1, х2, х3, …хn мантиқий ўзгарувчилар (аргументлар)нинг функцияси ҳисобланади.

• Мантиқий ифодалар ҳар бири 0 ёки 1 қиймат олувчи х1, х2, х3, …хn мантиқий ўзгарувчилар (аргументлар)нинг функцияси ҳисобланади.
• Агар мантиқий ўзгарувчилар сони n бўлса, у ҳолда 0 ва 1 лар ёрдамида 2n та комбинация ҳосил қилиш мумкин. Масалан,
• n=1 бўлса: х=0 ва х=1;
• n=2 бўлса: х1х2=00,01,10,11 бўлади.
• Ҳар бир ўзгарувчилар мажмуи учун у 0 ёки 1 қиймат олиши мумкин.

Мантиқий функциялар ва амаллар турли ифодаланиш шаклларига эга бўлишлари мумкин: алгебраик, жадвал, сўз билан ва шартли график (схемаларда). Мантиқий функцияларни бериш учун мумкин бўлган аргументлар мажмуидан талаб қилинаётган мантиқий функция қийматини бериш етарли. Функция қийматларини ифодаловчи жадвал ҳақиқийлик жадвали деб аталади.

• Мантиқий функциялар ва амаллар турли ифодаланиш шаклларига эга бўлишлари мумкин: алгебраик, жадвал, сўз билан ва шартли график (схемаларда). Мантиқий функцияларни бериш учун мумкин бўлган аргументлар мажмуидан талаб қилинаётган мантиқий функция қийматини бериш етарли. Функция қийматларини ифодаловчи жадвал ҳақиқийлик жадвали деб аталади.

• Эътиборингиз учун рахмат