“Информатика” факультети

Лаборатория иши №2

Мавзу: Манти=ий мулощаза ва манти=ий амаллар ща=ида умумий тушунчалар. Буль алгебраси =онунлари ва аксиомалари ща=ида умумий тушунчалар. Манти=ий функция ва манти=ий шакл ща=ида умумий тушунчалар.

Режа:

1. 
   Манти=ий мулощаза ща=ида умумий тушунчалар ва уларнинг турлари.
   
2. 
   Манти=ий амаллар ща=ида тушунчалар ва уларнинг турлари. Манти=ий ифодани соддалаштиш.
   
3. 
   Вариант быйича 2.1 жадвалда берилган ифодани =ийматлар жадвалини тузинг.
   

1. 
   Дизьюнкция, коньюнкция ва инкор манти=ий амалларнинг щусусиятлари.
   
2. 
   Буль алгебраси =онунлари ва аксиомалари. Манти=ий ифодани соддалаштириш.
   

4. 
   Вариант быйича 2.2 жадвалда берилган ифодани соддалаштиринг.
   
5. 
   Манти=ий функция ва манти=ий шакл ща=ида тушунча.
   
6. 
   Манти=ий функциянинг берилиш турлари. Манти=ий функцияни соддалаштириш.
   
7. 
   Вариант быйича 2.3 жадвалда функциялар берилган ифодани соддалаштиринг ва исботини =ийматлар жадвали ор=али ифода этинг.
   

2.1. Математик манти=ий амаллар ща=ида тушунчалар ва уларнинг турлари.

Буль функциясига таъриф берамиз: n-ызгарувчиларни Буль функцияси х₁,х₂,...,х_n аргументларни =ийматларини чекли В тыпламдан =абул =илади. Бу аргументлар ызаро ва маълум ми=дордаги Буль амаллари билан бо\ланган былиб, функцияниызи (аргументлар каби) B{0,1} тыпламдан =ийматлар =абул =илади. n-ызгарувчиларни Буль функциясини f(х₁,х₂,...,х_n) кыринишида ёзамиз.

Бирлаштириш, кыпайтириш ва инкор =илиш амалларини маъносини очамиз. Бунинг учун битта ва иккита аргумент учун мумкин былган функцияни аин=лаш лозим. Иккала буль функциясини умумий сонини ани=лаш формуласи аргументларнинг сонига бо\ли= щолда =уйидаги кыринишда былади:
N2²ⁿ

бу ерда, N-Буль функциялари сони,

n-аргументлар сони.

Бу формуладан битта аргумент учун тыртта Буль функцияси мавжудлиги келиб чи=ади. yx такрорлаш функцияси, y инкор функцияси, y1 бирлик константа, y0 ноль константаси дейилади.

Математик манти=ий амалда бир =иймат =абул =иладиган (рост ёки ёл\он) мулощазалар ырганилади. Математик манти=ий амаллар устида =уйидаги бешта амални бажариш мумкин:

1.