|
Konstruktor logicheskix sxem
|
| bet | 3/4 | | Sana | 18.09.2024 | | Hajmi | 207,34 Kb. | | #271533 |
Bog'liq 8-Labaratoriya mashg\'uloti1-ta’rif. Bo‘sh bo‘lmagan M to‘plam va unda aniqlangan « + » - qo‘shish, «•» - ko‘paytirish, « » - inkor amallariga nisbatan quyidagi shartlar bajarilgan bo‘lsin:
1. - qo‘shishga nisbatan kommutativlik qonuni.
2. - ko‘paytirishga nisbatan kommutativlik qonuni.
3. - qo‘shishga nisbatan assosiativlik qonuni.
4. ko‘paytirishga nisbatan assosiativlik qonuni.
5 qo‘shishga nisbatan idempotentlik qonuni.
6. - ko‘paytirishga nisbatan idempotentlik qonuni.
7. - qo‘sh inkor qonuni.
–de - Morgan qonunlari
8
9.
–yutilish qonunlari
10.
11.
12. - qo‘shishning ko‘paytirishga nisbatan distributivlik qonuni.
13. - ko‘paytirishning qo‘shishga nisbatan distributivlik qonuni u holda < M; +, •, > algebra Bul algebrasi deyiladi.
2-ta’rif. X ={ 0, 1 } -ikki elementli to‘plam berilgan bo‘lsin. U holda f: Xn—> X (n = 0, 1, 2,...) -funksiya n - o‘zgaruvchili Bul funksiyasi yoki ikki qiymatli funksiya deyiladi.
n = 0, bo‘lganda, X to‘plamning ajratilgan elementlarini, ya’ni 0 yoki 1 ni hosil qilamiz. Mulohazalar algebrasining ixtiyoriy formulasi ikki qiymatli funksiyaga misol bo‘la oladi. Masalan, A B -formulani qaraylik.
A
|
B
|
AB
|
1
|
1
|
1
|
1
|
0
|
1
|
0
|
1
|
1
|
0
|
0
|
0
|
Demak, f(x, y) = x y - Bul funksiyasi ekan. Umuman, A (A1..., An) - formula n o‘zgaruvchili Bul funksiyasidir.
Mulohazalar algebrasida konkret mulohazalarnigina emas, balki har qanday, istalgan mulohazalarni ham o‘rganiladi. Bunday mulohazalar o‘zgaruvchi mulohazalar deyiladi. Masalan, Sochi uzun qizning sochi qirqilgach, u kalta bo‘lib qoladi. Shuning uchun o‘zgaruvchi mulohazani x bilan belgilaymiz. U holda x har qanday konkret mulohazaning istalganini ifodalashga xizmat qiladi. Shuning uchun x ikki xil: chin va yolg‘on qiymatli o‘zgaruvchilarni ifodalaydi: x1=1(ch) x2=0(yo).
|
| |
