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



Download 0,67 Mb.
bet6/9
Sana25.02.2022
Hajmi0,67 Mb.
#281520
1   2   3   4   5   6   7   8   9
Bog'liq
Хисоблаш тизимлари ахборот асослари услубий кулланма

Дизьюнкция амали. Икки мулощазалардан щар иккаласи «ёл\он» =иймат =абул =илганда «ёл\он», =олган щолларда «рост» =иймат =абул =иладиган мулощазага айтилади ва х12 кыринишида белгиланади.




х1

х2

х1V х2

1
1
0
0

1
0
1
0

1
1
1
0




  1. Коньюнкция амали. Икки мулощазанинг коньюнкцияси деб щар иккала мулощаза «рост» =иймат =абул =илганда «рост» =олган щолларда эса «ёл\он» =иймат =абул =иладиган мулощазага айтилади ва х1Λх2 кыринишида белгиланади.




х1

х2

х1Λх2

1
1
0
0

1
0
1
0

1
0
0
0


  1. Импликация амали. х1 мулощазадан х2 мулощаза келиб чи=ади дейилади, агар «рост» дан «ёл\он» келиб чи=иши «ёл\он», бош=а щолларда «рост» =иймат =абул =илади ва х1х2 билан белгиланади.


х1

х2

Х1х2

1
1
0
0

1
0
1
0

1
0
1
1


  1. Эквивалентлик амали. Щар иккала мулощазалар бир хил былса «рост», =олган щолларда «ёл\он» =иймат =абул =иладиган мулощазага айтилади ва х1х2 кыринишида белгиланади.




х1

х2

Х1х2

1
1
0
0

1
0
1
0

1
0
0
1


  1. Инкор амали. Бир мулощазанинг инкори деб, мулощаза «рост» былганда «ёл\он», «ёл\он» былганда эса «рост» =иймат =абул =иладиган мулощазага айтилади ва (х1) кыринишида былади.


х1

х2





1
1
0
0

1
0
1
0

0
0
1
1

0
1
0
1

Мулощазалар алгебраси-амаллар бажариш тартибида =авслар бос=ичида амалга оширилади. Агар амаллар орасида =авслар былмаса амаллар тартиби быйича амалга оширилади.


2.2. Буль алгебраси =онунлари ва аксиомалари.

Буль алгебраси =онунлари, коньюнкция ва дизьюнкция амаллари учун.





  1. Коммутативлик =онуни:

х1Λх2х2Λх1 х12х21





  1. Ассоциативлик =онуни:

х1Λ(х2Λх3)х1Λх2Λх3


х1V(х23)(х12)Vх3 х123





  1. Идемпотентлик (тавтология) =онуни:

хΛхх хVхх





  1. Айлантириш =онуни:

агар х1  х2 былса, у щолда  былади.





  1. Икки марта инкор =онуни:



х



  1. Быш тыплам =онуни:

хΛ00 хV0х





  1. Универсал тыплам =онуни:

хΛ1х хV11





  1. Тылдириш =онуни:

хΛ 0 хV 1





  1. Та=симот =онуни:

х1Λ(х23)х1Λх21Λ х3


х1V(х2Λх3)(х12)Λ(х13)





  1. Ютилиш =онуни:

х11Λх2х1 х1Λ(х12 )х1





  1. Бирлашиш (ёпишиш) =онуни:

12)Λ(х1V )х1 х1Λх21Λ х1





  1. Икки ё=ламалик (Де-Морган) =онуни:



 V  Λ

ёки чап ва ынг томонларни инверсиясидан кейин


х1Λх2 х12


2.3. Манти=ий функциянинг берилиш турлари

Классик математикада функция вазифаси асосан икки хил аналитик (формулалар ёзуви) ва жадвалли (лу\атларда келтирилган) кыринишида былиб, худди шундай йыллар билан манти=ий функциялар берилиши мумкин.


Жадвалли кыринишида шундай ща=и=ат жадвали тузиладики, унда барча аргументларнинг =ийматлари келтирилади ва уларга тегишли манти=ий функциянинг =ийматлари щам келтирилади. +ийматлар сони чекли былгани учун керакли былган аргументнинг =ийматига функциясининг =ийматини топишимиз мумкин (математик функцияларнинг жадвалидан кыра, бир неча функцияларга =иймат бериш имкониятини беради, фа=ат бир неча аргументлар =ийматлари учун).
Бир аргументли манти=ий функция учун ща=и=ат жадвали а-жадвалда келтирилган. Битта аргументнинг тыртта функцияси мавжудлигини кыриб турибмиз:
а-жадвал

Аргумент Х

Функция

f0(x)

f1(x)

f2(x)

f3(x)

0

0

0

1

1

1

0

1

0

1

Агар функциянинг аргументлар сони n га тенг былса, унда тыпламлар сони 2n ташкил этади. N функциясини щар хил тыпламлар сони эса аргументларда да былади. Шундай =илиб n=2 =ийматлар тыпламларининг сони 22=4 функция сони 24=16. Икки аргументли функциянинг ща=и=ат жадвали b-жадвалда келтирилган. Манти=ий функцияни ёзиш учун аналитик усули щам мавжуд. Математикада функциянинг аналитик усулида кыриниши функцияни математик ифодада ёзилишини мылжаллайди, шу ифодада функциянинг аргументлари ани= бир математик операциялар билан бо\ланади. Шунга кыра манти=ий ифода шаклидаги ёзувини кыриб чи=ади. Мана шу ифодада манти=ий операцияларнинг кетма-кет бажарилиши акс этади.


b-жадвал


Аргументлар

Функция

х1

х2

f0

f1

f2

f3

f4

f5

f6

f7

f8

f9

f10

f11

f12

f13

f14

f15

0

0

0

0

0

0

0

0

0

0

1

1

1

1

1

1

1

1

0

1

0

0

0

0

1

1

1

1

0

0

0

0

1

1

1

1

1

0

0

0

1

1

0

0

1

1

0

0

1

1

0

0

1

1

1

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

0

1

Бир аргументли функциянинг =ыйидаги ифода билан ифодаланади.






f0(x), f1(x) ва f3(x) функцияларини реаллаштирадиган =урилмалар тривиальли былиб чи=ади. 1.3-расмдан кыриниб турибдики f0(x) функциясини формаллашуви кириш ва чи=иш ыртасида узилишни талаб этади ва чи=ишни тузилмани умумий ну=тасига уланишини щам, f1(x) функциясини формаллашуви-кириш ва чи=ишни бо\лашуви, f3(x) функциясини формаллашуви- манти=ий 1 га тенг былган манба чи=ишининг уланиши. Шундай =илиб, барча бир аргументли функциялар ичида (манти=ий ЭМАС) функцияси =изи=иш уй\отиши мумкин.


2.1-жадвал





Тартиб ра=ам

Ифоданинг кыриниши

1



2



3



4



5



6



7



8



9



10



11



12



13



14



15



16



2.1-жадвал



Тартиб ра=ам

Ифоданинг кыриниши

17



18



19



20



21



22



23



24



25



2.2-жадвал





Тартиб ра=ам

Ифоданинг кыриниши

1



2



3



4



5



6



7



8



9



10



11



12



13



14



15



16



17



18



19



20



21



22



23



24



25



26



27



28



29




30




31




32




33




34




35




2.3-жадвал





Тартиб ра=ам

Функциянинг кыриниши

1



2



3



4



5



6



7



8



9



10



11



12



13



14



15



16



17



2.3-жадвал





Тартиб ра=ам

Функциянинг кыриниши

18



19



20



21



22



23



24



25






Download 0,67 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish