Mulohazalar algebrasi mantiqiy bog'lovchilar reja: Mulohazalar algebrasi



Download 27,64 Kb.
bet3/4
Sana28.04.2022
Hajmi27,64 Kb.
#589362
1   2   3   4
Bog'liq
MULOHAZALAR ALGEBRASI MANTIQIY BOG\'LOVCHILAR

7. Pirs strelkasi amali. x va u mulohazalar ustida bajariladigan Pirs strelkasi amali bilan va uning natijasida hosil bo’lgan mulohaza esa xu shaklda ifodalanadi. 

Ta’rif. x va u mulohazalarning ikkalasi xam yolђon qiymatga ega bo’lgandagina xu murakab mulohaza chin bo’lib, qolgan boshqa hollarda xu yolђondir. 




x 


u 


xu 


u 

1
1
0



1
0
1


0
0
0


0
0
0



Albatta mulohazalar to’plamida aniqlanishi mumkin bo’lgan binar amallar yuqorida keltirilgan yetti amal bilan chegaralanmaydi.

Misol: A =- () formulani matematik almashtiring va soddalashtiring. 

A = () = [ xu=u]== [=; =]= () = [Yana shunga asosan]=


Demak A formula aynan chin formula ekan.



x y z 












000
001 

010
011 

100
101 

110
111 

1
1
1


1
0
0


0


1
0
1


0
1
0


1


1
1
1


1
1
1


1


1
1
1


1
1
1


1



Mantiqiy amallar, mantiqiy operatsiyalar — berilgan hadlari va natijasi mulohaza (fikr) dan iborat amallar. Berilgan hadlar soniga qarab Mantiqiy amallar bir oʻrinli, ikki oʻrinli va h.k. deb yuritiladi. Bir oʻrinli Mantiqiy amallar soni toʻrtta: berilgan fikrdan qatʼi nazar natijasi doim chin (aynan haqiqat) amal, natijasi doim yolgʻon (aynan yolgʻon) amal, natijasi berilgan fikr bilan mos tushadigan amal va, nihoyat, berilgan fikr chin boʻlsa, natijasi yolgʻon, berilgan fikr yolgʻon boʻlsa, natijasi chin boʻladigan amal. Soʻnggi mantiqiy amal bir oʻrinli Mantiqiy amallardan eng muhimi boʻlib, u inkor amal deyiladi. A fikrning inkori ~hA kabi belgilanib, "A emas" deb oʻqiladi. Mas, 1 Oy sayyora — "Oy sayyora emas", (] 2*2=4) — ikki karra ikki toʻrt emas.
Ikkilik kodda yozilgan mashina soʻzlari ustida Mantiqiy amallar mos razryadlar boʻyicha bajarilib, i oʻrniga 1, l oʻrniga 0 olinadi, matn shakliga aylantiriladi va maʼlumot koʻrinishida chiqish qurilmasiga beriladi. Mantiq-informatsion mashina tez ishlashi, "xotira" hajmining kattaligi bilan oddiy hisoblash mashinalaridan farq qiladi. Mantiq-informatsion mashina i. t. natijalarini ishlash, adabiyot topishni avtomatlashtirish, sanoat, qishloq xoʻjaligi va transportga oid statistik maʼlumotlarni, davolash muassasalarida bemorlarni kuzatishdan olingan natijalarni, meteorologik, seysmologik stansiyalardan, Yer sunʼiy yoʻldoshlaridan olingan maʼlumotni ishlash va tarjima ishlarida qoʻllaniladi.[1]

Protsessor tarkibidagi arifmetik-mantiqiy qurilmaning ishlash prinsipini tushunish uchun avval insonning mantiqiy fikrlash va xulosa chiqarish usullarini ko’rib chiqamiz.


Insonlar kundalik hayotda o’zaro muloqot qilish uchun turli mulohazalardan foydalanishadi. Ma’lumki, mulohaza – narsa yoki hodisalarning xususiyatini anglatuvchi darak gapdir. Boshqacha aytganda, mulohaza – rost yoki yolg’onligi haqida so’z yuritish mumkin bo’lgan darak gap.
Mulohazalar sodda va murakkab bo‘lishi mumkin. Biror shart yoki usul bilan bog‘lanmagan hamda faqat bir holatni ifo­dalovchi mulohazalar sodda mulohazalar deyiladi. Sodda mulohazalar ustida amallar bajarib, murakkab mulohazalarni hosil qilish mumkin. Odatda murakkab mulohazalar sodda mulohazalardan “VA”, “YОKI” kabi bog‘lovchilar, “EMAS” shaklidagi ko‘makchilar yordamida tuziladi.
Mulohazalarni lotin alifbosi harflari bilan belgilash (masalan, A= “Bugun havo issiq”) qabul qilingan. Har bir mulohaza faqat ikkita: “rost” yoki “yolg‘on” mantiqiy qiymatga ega bo‘lishi mumkin. Qulaylik uchun “rost” qiymatni 1 raqami bilan, “yolg‘on” qiymatni esa 0 raqami bilan belgilab olamiz.
A va B sodda mulohazalar bir paytda rost bo‘lgandagina rost bo‘ladigan yangi (murakkab) mulohazani hosil qilish amali mantiqiy ko‘paytirish amali deb ataladi.
Bu amalni konyunksiya (lot. conjunctio– bog’layman) deb ham atashadi. Mantiqiy ko‘paytirish amali ikki yoki undan ortiq sodda mulohazalarni “VA” bog‘lovchisi bilan bog‘laydi hamda “A va B” , “A and B” , “A Λ B” , “A · B” kabi ko‘rinishda yoziladi. Mantiqiy ko‘paytirishni ifodalaydigan quyidagi jadval rostlik jadvali deb ataladi:


Download 27,64 Kb.

Do'stlaringiz bilan baham:
1   2   3   4




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