Mantiq funksiyalari uchun chinlik jadvalini tuzish.
REJA
1. Mantiq qonunlari.
2.Mantiq funksiyalari uchun chinlik jadvali tuzish.
3. Rostlik jadvali bo‘yicha mantiq funksiyasi ko‘rinishini tiklash.
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.
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 ifodalovchi 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.
Mantiqiy ifodalarda mantiqiy amallar quyidagi tartibda bajariladi: inkor , mantiqiy ko‘paytirish , mantiqiy qo‘shish.
Teng kuchli yoki bir xil amallar ketma-ketligi bajarilayotganda amallar chapdan o‘ngga qarab tartib bilan bajariladi, ifodada qavslar ishtirok etganda dastlab qavslar ichidagi amallar bajariladi. Ichma-ich joylashgan qavslarda eng ichkaridagi qavs ichidagi amallar eng avval bajariladi.
Mantiqiy amallarga misollar keltiramiz.
1–misol. A mulohaza rost qiymat qabul qilsa, “A va (A EMAS)” mulohazaning qiymatini aniqlang.
Yechish. A rost qiymat qabul qilganligi uchun (A EMAS) yolg‘on qiymatga ega bo‘ladi. U holda rost va yolg‘on qiymatlarning ko‘paytmasidan (“VA” amali) yolg‘on natijaga ega bo‘lamiz. Shunday qilib, javob “yolg‘on” ekan.
2–misol. A va B mulohazalar rost qiymat qabul qilganda A Λ B V A mulohazaning qiymatini aniqlang.
Yechish.I usul. A va B mulohazalar rost qiymatli bo‘lganligi uchun A Ù B amal rost qiymat qabul qiladi. U holda jadvalga ko‘ra ikkita rost qiymatni mantiqiy qo‘shishdan rost qiymat hosil bo‘ladi. Javob: rost.
II usul. 1 · 1 + 1 = 1 + 1 = 1. Javob: rost.
3–misol. (Е > D) Λ A Λ ᒣB mantiqiy ifodaning qiymatini D = 3,2 va E = –2,4, A = “rost” va B = “rost” bo’lganda hisoblang.
Yechish.I usul. (–2,4 >3,2) munosabat noto‘g‘ri bo‘lganligidan bu mulohaza “yolg‘on” bo‘ladi. Demak, A mulohazaning qiymati “rost” bo’lsa ham (Е > D) Λ A mulohaza qiymati “yolg‘on” bo’ladi. B mulohazaning qiymati “rost”, shuning uchun ᒣB mulohaza “yolg‘on” qiymatli bo‘ladi. U holda (Е > D) Λ A Λ ᒣB mantiqiy ifoda “yolg‘on” qiymat qabul qiladi. Javob: yolg‘on.
4-masala. D V ᒣB Λ A mantiqiy ifodaga mos rostlik jadvalini tuzing.
Yechish. Avval jadvalning birinchi uch ustuniga A, B, D mulohazaning qabul qilishi mumkin bo’lgan qiymatlarini yozib olamiz. So’ng bajarilish tartibiga asosan amallarni yozib boramiz:
5-masala. Bir kishi aytdi “Men yolg’onchiman yoki qora sochliman”. U kishi kimligini aniqlang.
Yechish. Masala shartidagi mulohazalar uchun belgilashlar kiritamiz:
D= “Men yolg’onchiman yoki qora sochliman”;
A= “Men yolg’onchiman”; B= “Qora sochliman”
U holda masala shartidagi murakkab mulohazani shunday yoza olamiz: D=A YOKI B. Bu amal uchun rostlik jadvali quyidagicha ko’rinishda bo’ladi:
Endi masala yechimini topish uchun quyidagicha mulohaza yuritamiz:
a) agar A mulohaza “rost” bo’lsa, u holda masala shartidagi mulohazani aytgan kishi yolg’onchi bo’ladi va shuning uchun uning hamma gapi yolg’on. Demak, D mulohaza “yolg’on” bo’lishi kerak. Lekin jadvaldan ko’rinadiki, A mulohaza “rost” bo’lganda D mulohaza “yolg’on” bo’la olmaydi.
b) agar A mulohaza “yolg’on” bo’lsa, u holda masala shartidagi mulohazani aytgan kishi rostgo’y bo’ladi va, tabiiyki, uning hamma gapi rost. Demak, D mulohaza “rost” bo’lishi kerak. Jadvaldan ko’rinadiki, bunday hol faqat A mulohaza “yolg’on” va B mulohaza “rost” bo’lsagina o’rinli.
Javob: masala shartidagi da’voni aytgan kishi rostgo’y va qora sochli ekan.
Mantiq qonunlari.
1. Ikkilangan rad etish qonuni.
¬ ¬ α≡α
2. & va \/ amallarining idempotentligi
α&α≡α, α\/α≡α
3. & va \/ amallarining kommutativligi
α&β≡β&α, α\/β= β\/α
4. & va \/ amallarining assosiativligi
α&(β&γ)≡(α&β)&γ, α\/(β\/γ)=(α\/β)\/γ)
5. & va \/ amallarining bir-biriga nisbatan distributivlik qonunlari.
