2-ma’ruza. Bul algebrasining asoslari, ikkilik kodlashtirish, ikkilik kodida sonlar bilan arifmetik operatsiyalarni bajarish. Reja


Download 121.5 Kb.
bet2/2
Sana07.04.2023
Hajmi121.5 Kb.
#1339237
1   2
Bog'liq
2-ma’ruza. Bul algebrasining asoslari, ikkilik kodlashtirish, ik

Funktsiya

x argumentli funktsiya qiymati

Funktsiya belgisi

Funktsiya
nomi

0

1

f0

0

0

0

doimo yolg’on

f1

0

1

x

o’zgaruvchi

f2

1

0

x

inkor

f3

1

1

1

doimo haqiqiy

Ikkita x0 va x1 o’zgaruvchilarning elementar mantiqiy funktsiyalarini ko’raylik (2-jadval). 2-jadval

Funktsiya

x0 , x1 argumentli funktsiya qiymati

Funktsiya belgisi

Funktsiya nomi

00

01

10

11

f0

0

0

0

0

0

doimo yolg’on

f1

0

0

0

1

x0 x1

kon’yunktsiya

f2

0

0

1

0



x1 bo’yicha ta’qiq

f3

0

0

1

1

x0

x0 doimo haqiqiy

f4

0

1

0

0

x1

x0 bo’yicha ta’qiq

f5

0

1

0

1

x1

x1 doimo haqiqiy

f6

0

1

1

0

x0 x1

x0 va x1 ni 2 ning moduli bo’yicha qo’shish

f7

0

1

1

1

x0x1

diz’yunktsiya

f8

1

0

0

0

x0 x1

Pirs strelkasi

f9

1

0

0

1

x0 x1

teng qiymatlilik

f10

1

0

1

0



x1 doimo yolg’on

f11

1

0

1

1

x0x1

implikatsiya

f12

1

1

0

0



x0 doimo yolg’on

f13

1

1

0

1

x1 x0

implikatsiya

f14

1

1

1

0

x0 / x1

Sheffer shtrixi

f15

1

1

1

1

1

doimo haqiqiy

2-jadvaldagi funktsiyalardan bir qismi trivial hisoblanadi. Masalan, f0=0, f15=1 va f3= x0, f5= x1. Ularning ichida ikkitasi elementar funktsiyalardir - f10= , f12= . f2 va f4 funktsiyalari esa mos holda x0 va x1 bo’yicha ta’qiqi funktsiyalari hisoblanadi.


Qolganlarini qisqacha tavsiflaylik:
- x0 va x1 mantiqiy o’zgaruvchilarning diz’yunktsiyasi. Qisqacha x0 va x1 ning diz’yunktsiyasi. x0x1 kabi belgilanadi. « x0 yoki x1 » deb o’qiladi. Ta’rifi: x0 va x1 mantiqiy o’zgaruvchilarning diz’yunktsiyasi murakkab funktsiya bo’lib, u faqat x0 va x1 yolg’on bo’lgandagina yolg’on hisoblanadi (3-jadval).
x0 va x1 mantiqiy o’zgaruvchilarning kon’yunktsiyasi. x0 x1 kabi belgilanadi. « x0 ham x1 » deb o’qiladi. Ta’rifi: x0 va x1 ning kon’yunktsiyasi murakkab funktsiya bo’lib, u faqat x0 va x1 haqiqiy bo’lgandagina haqiqiy hisoblanadi (4-jadval).
- x0 va x1 mantiqiy o’zgaruvchilarning teng qiymatliligi. x0 x1 kabi belgilanadi. « x0 x1 ga teng qiymatlik» deb o’qiladi. Ta’rifi: x0 va x1 ning teng qiymatliligi murakkab funktsiya bo’lib, u faqat x0 va x1 haqiqiyliklari mos kelgandagina haqiqiy hisoblanadi (5-javdal).
- x0 va x1 ni 2 ning moduli bo’yicha qo’shish. x0 x1 kabi belgilanadi. « x0 ni x1 ga 2 ning moduli bo’yicha qo’shish» deb o’qiladi. Ta’rifi: x0 va x1 ni 2 ning moduli bo’yicha qo’shish murakkab funktsiya bo’lib, u faqat x0 va x1 ning haqiqiyliklari mos kelmaganda haqiqiy hisoblanadi (6-jadval). Ba’zi adabiyotlarda bu funktsiyani teng qiymatlilikning inkori deb ham atashadi.

3-jadval




4-jadval




5-jadval




6-jadval

00=0
01=1
10=1
11=1




00=0
01=0
10=0
11=1




00=1
01=0
10=0
11=1




00=0
01=1
10=1
11=0

- x0 va x1 ning implikatsiyasi. x0 x1 kabi belgilanadi. «Agar x0, unda x1» deb o’qiladi. Ta’rifi: x0 va x1 ning implikatsiyasi murakkab funktsiya bo’lib, u faqat x0 haqiqiy, x1 yolg’on bo’lgandagina yolg’on hisoblanadi (7-jadval). Ta’kidlash lozimki, implikatsiya sabab va oqibat orasidagi bog’lanish ma’nosiga ega emas, ya’ni x0 ning haqiqiyligidan x1 ning haqiqiylik sharti kelib chiqmaydi. Aksincha, implikatsiya yordamida tuzilgan murakkab fikrning haqiqiyligi uchun x0 ning yolg’onligi kifoya. f13 funktsiya x1 x0 ga mos keladi.


- x0 va x1 ning Sheffer shtrixi. x0 / x1 kabi belgilanadi. « x0 shtrix x1» deb o’qiladi. Ta’rifi: x0 va x1 ning Sheffer shtrixi murakkab funktsiya bo’lib, u faqat x0 va x1 haqiqiy bo’lgandagina yolg’on hisoblanadi (8-jadval).
- x0 va x1 ning Pirs strelkasi. x0 x1kabi belgilanadi. « x0 Pirs strelkasi x1» deb o’qiladi. Ta’rifi: x0 va x1 ning Pirs strelkasi murakkab funktsiya bo’lib, u faqat x0 va x1 yolg’on bo’lgandagina haqiqiy hisoblanadi (9-jadval).



7-jadval




8-jadval




9-jadval

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

Yuqorida ko’rilgan elementar mantiqiy funktsiyalar yordamida ixtiyoriy MAFni tavsiflash mumkin.


10-jadvalda uchta o’zgaruvchili mantikiy funktsiya uchun haqiqatlik jadvali keltirilgan.

10-jadval

To’plam tartib raqami

x1, x2, x3
to’plamlari

f funktsiya qiymati

0
1
2
3
4
5
6
7

000
001
010
011
100
101
110
111

0
0
0
1
0
1
1
1

Mantiq algebrasi elementar funktsiyalarining xususiyatlari
2-jadvaldan ko’rinib turibdiki, elementar funktsiyalar o’zaro ma’lum bog’lanishlarga ega. Bu bog’lanishlarni hamda elementar funktsiyalarning xususiyatlarini ko’rib chiqaylik.
Kon’yunktsiya, diz’yunktsiya, inkor (VA, YoKI, EMAS) funktsiyalari. Mantiq algebrasining asosiy qoidalaridan foydalanib, quyidagi aksiomalarning o’rinli ekanligiga qanoat hosil qilish mumkin. Aytaylik, x - biror bir mantiqiy funktsiya. Unda
1) x=x, mantiqiy ifodadan barcha qo’shaloq inkorga ega bo’lgan hadlarni chiqarib tashlab, ularni dastlabki qiymat bilan almashtirish imkoniyaitini bildiradi;
2) bunday o’zgartirish qoidalari mantiqiy ifoda uzunligini qisqartirishga imkon beradi;
3) x0=x; 4) x1=1; 5) x0=0; 6) x1=1; 7) xx=0; 8) xx=1 (mantiqiy haqiqiylik).
Diz’yunktsiya va kon’yunktsiya arifmetikadagi ko’paytirish amallariga o’xshash qator xususiyatlarga ega:
1) assotsiativlik xususiyati (uyg’unlashish qonuni):
x(y+z)=(x+y)+z,
x(yz)=(xy)z
2) kommutativlik xususiyati (ko’chirish qonuni):
xy=yx,
xy=yx;
3) distributivlik xususiyati (taqsimlanish qonuni):
diz’yunktsiyaga nisbatan kon’yunktsiya uchun
x(yz)=xyxz,
kon’yunktsiyaga nisbatan diz’yunktsiya uchun
xyz=(xy)(xz)
Bu xususiyatlarning o’rinli ekanligini yuqoridagi aksiomalardan foydalanib isbotlash aytarlicha qiyin emas.
De Morgan qonunlari sifatida ma’lum quyidagi munosabatlarning haqiqatligini ham ko’rsatish mumkin:
(1)
Bu qonundan quyidagini yozish mumkin:
(2)
demak, kon’yunktsiyani diz’yunktsiya va inkor orqali yoki diz’yunktsiyani kon’yunktsiya va inkor orqali ifodalash mumkin.
Mantiqiy funktsiyalar uchun singdirish qonuni sifatida ma’lum quyidagi munosabatlar o’rnatilgan:
(3)
2 ning moduli bo’yicha qo’shish funktsiyasi quyidagi xususiyatlarga ega:
kommutativlik (ko’chirish qonuni)
xu=ux;
assotsiativlik (uyg’unlashish qonuni)
x(uz)=(xy)z;
distributivlik (taqsimlanish qonuni)
x(uz)=(xy)(xz).
Bu funktsiya uchun quyidagi aksiomalar o’rinli:
xx=0; x1=x;
xx=1; x0=x.
Aksiomalar va xususiyatlardan foydalanib VA, YoKI, EMAS funktsiyalarni 2 ning moduli bo’yicha qo’shish funktsiyasi orqali ifodalash mumkin:
(4)
Implikatsiya funktsiyasi uchun quyidagi aksiomalar o’rinli:
xx=1; xx=x;
x1=1; 1x=x;
x0=x; 0x=1.
Aksiomalardan ko’rinib turibdiki, implikatsiya faqat ko’rinishi o’zgargan kommutativlik (ko’chirish qonuni) xususiyatiga ega
xu=ux.
Bu funktsiya uchun assotsiativlik xususiyati o’rinsizdir.
VA, YoKI, EMAS funktsiyalari implikatsiya funktsiyasi orqali quyidagicha ifodalanadi:
(5)


Sheffer shtrixi funktsiyasi uchun quyidagi aksiomalar o’rinli:
x/x=x; x/1=x;
x/x=1; x/0=1;
x/0=1; x/1=x.
Sheffer shtrixi funktsiyasi uchun faqat kommutativlik (ko’chirish qonuni) o’rinlidir:
x/u=u/x,
VA, YoKI, EMAS funktsiyalari Sheffer shtrixi funktsiyasi orqali quyidagicha ifodalanadi:
(6)
Pirs strelkasi funktsiyasi uchun quyidagi aksiomalar o’rinli:
xx=x; x0=x;
xx=0; x1=0.
Pirs strelkasi funktsiyasi uchun faqat kommutativlik (ko’chirish qonuni) xususiyati o’rinli:
xu=ux.
VA, YoKI, EMAS funktsiyalarini Pirs strelkasi funktsiyasi orqali quyidagicha ifodalash mumkin:
(7)


Nazorat savollari

  1. Mantiq algebarasi nimani o’rganadi?

  2. Mantiqiy funktsiyaning haqiqiylik jadvali nima?

  3. Ikki o’zgaruvchining elementar mantiqiy funktsiyalarini sanab o’ting.

  4. Mantiq algebrasining asosiy aksiomalari va qoidalari



Adabiyotlar

  1. X.K.Aripov, A.M.Abdullaev, N.B.Alimova, X.X.Bustanov, E.V.Ob’edkov, Sh.T.Toshmatov. Sxemotexnika. T.: TAFAKKUR BO’STONI, 2013 y.

  2. X.K. Aripov, A.M. Abdullayev, N.B. Alimova, X.X. Bustanov, Sh.T. Toshmatov. Raqamli mantiqiy qurilmalami loyihalashtirish. Darslik. -T.: «Aloqachi », 2017, 396 bet.

  3. Х.К.Арипов, А.М.Абдуллаев, Н.Б.Алимова, Х.Х.Бустанов, Е.В.Объедков, Ш.Т.Тошматов. Схемотехника. Т.: ALOQACHI, 2010г.

  4. Digital Logic Design, Jiwang Ware Z Scene. Fourth Edition, 2002y.

  5. Robert L. Boyleastad. Introductory Circuit analysis. 2014-Pearson Education Limited, 1091 p.

  6. Stephon Brown, Zvonko Vranesic. Fundamentals of Digital Logic with Verilog Design. 2014-The Me Grow-Hin Companies. 847p.

  7. Behzad Razavi. Fundamentals of Microelectronics.2nd edition. 2014y. John Wiley&Sons. 932 p.

  8. Амосов B.B. Схемотехника и средства проектирования цифровых устройств. Учебное пособие. БХВ-Петербург. 2016г. 562с.

  9. В.М. Пролейко. Базовые лекции по электронике (в 2-х томах). ТЕХНОСФЕРА. Москва. 2009 г.

  10. С.Н.Лехин. Схемотехника ЭВМ. Санкт-Петербург, 2010г.

Download 121.5 Kb.

Do'stlaringiz bilan baham:
1   2




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