Mantiq algebrasi ikkitaraflama qonuni. Reja


Download 482.45 Kb.
bet2/3
Sana17.06.2023
Hajmi482.45 Kb.
#1548844
1   2   3
Bog'liq
Asalxon.1

3- misol. Ushbu bobning 9- paragrafida keltirilgan (2), (3), (6), (8), (10), (12) teng kuchli formulalarga ushbu prinsipni qo‘llasak, (4), (5), (7), (9), (11), (13) teng kuchli formulalar kelib chiqadi. ■
Mantiq algebrasida elementlari ta argumentli o‘z-o‘ziga ikki taraflama funksiyalardan iborat bo‘lgan to‘plamni bilan belgilaymiz, uning elementlari soni ga tengdir.
Endi o‘z-o‘ziga ikki taraflama bo‘lmagan funksiyalar haqidagi lemmani ko‘rib chiqaylik.
Lemma. Agar bo‘lsa, u holda undan argumentlarining
o‘rniga va funksiyalarni qo‘yish usuli bilan bir argumentli o‘z-o‘ziga ikki taraflama bo‘lmagan funksiya, ya’ni konstantani hosil qilish mumkin.
Isboti. bo‘lgani uchun, shunday qiymatlar satri topiladiki, bo‘ladi.
( ) funksiyani kiritamiz va deb
belgilab olamiz. U holda quyidagi natijaga ega bo‘lamiz:

. ■

Mantiq algebrasidagi arifmetik amallar.
Mantiq algebrasidagi arifmetik amallar. {0,1} Bul algebrasidagi kon’yunksiya amali oddiy arifmetikadagi 0 va 1 sonlar ustidagi ko‘paytma amaliga mos keladi. Ammo 0 va 1 sonlarini qo‘shish natijasi {0,1} to‘plam doirasidan chetga chiqadi. Shuning uchun I.I.Jegalkin1 2 moduliga asosan qo‘shish amalini kiritdi. va mulohazalarni 2 moduli bo‘yicha qo‘shishni deb belgilaymiz. 2 moduli bo‘yicha qo‘shish, odatda, chinlik jadvali bilan beriladi (1- jadvalga qarang).

1- jadval













0

0

0




0

1

1




1

0

1




1

1

0




Chinlik jadvalidan ko‘rinib turibdiki, bo‘ladi. Mantiq algebrasidagi ko‘paytma va 2 moduli bo‘yicha qo‘shish mantiq amallari uchun kommutativlik, assotsiativlik va distributivlik qonunlari o‘z kuchini saqlaydi.
Bul algebrasidagi asosiy mantiqiy amallarni kiritilgan arifmetik amallar orqali quyidagicha ifodalash mumkin:
; ; ;
; .

Download 482.45 Kb.

Do'stlaringiz bilan baham:
1   2   3




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