Mantiq funksiyalari uchun chinlik jadvalini tuzish

Download 109,87 Kb.
bet	5/9
Sana	27.05.2024
Hajmi	109,87 Kb.
	#254586

1 2 3 4 5 6 7 8 9

Bog'liq
Botirova Kurs ishi

1.2. Mantiq funksiyalari uchun chinlik jadvalini tuzish

Rostlik jadvali bo‘yicha mantiq funksiyasi ko‘rinishini tiklash.
Aytaylik A, B, C o‘zgaruvchilarga bo‘liq bo‘lgan α=α(A,B,C) formula berilgan bo‘lsin. Tushunarliki ushbu rostlik jadvaliga egabo‘lgan cheksiz ko‘p tengkuchli formulalarmavjud.
Ta’rif 1. α formulaning barcha mantiqiy imkoniyatlari va bu mantiqiy imkoniyatlardagi α formulaning qiymatlari keltirilgan jadvaliga rostlik (chinlik) jadvali deyiladi.
Masalan α(A, B, C)= ⌐(A&B)→(A\/B~C) formulaning rostlik jadvalini topish uchun, amallar bajarilish ketma-ketligi: 1) qavs ichidagi amal 2) ⌐ 3) & 4) \/ 5) ~ → e’tiborga olinib birin-ketin amallar bajariladi va formulaning rostlik jadvali topiladi.

1.3. Rostlik jadvali bo’yicha mantiq funksiyasi ko’rinishini tiklash

Aytaylik A, B, C o‘zgaruvchilarga bo‘liq bo‘lgan α=α(A,B,C) formula berilgan bo‘lsin. Tushunarliki ushbu rostlik jadvaliga ega bo‘lgan cheksiz ko‘p teng kuchli formulalar mavjud. Ulardan ikkitasini topishni ko‘rib chiqamiz.

A	B	C	α=α(A,B,C)
0	0	0	0
0	0	1	1
0	1	0	0
0	1	1	0
1	0	0	0
1	0	1	1
1	1	0	0
1	1	1	1

Rostlik jadvalida α=α(A,B,C) formula 1 ga teng bo‘lgan qator nomerlarini yozib chiqamiz.
2-qator 6-qator 8-qator
Har bir qator mantiqiy imkoniyatlaridagina 1 ga teng bo‘lgan, boshqa imkoniyatlarda esa 0 ga teng bo‘lgan formulalarni yozib chiqamiz. Buning uchun 1 ga teng bo‘lgan qatordagi fikr o‘zgaruvchilari qiymatlarini 1(rost) ga aylantirib, fikr o‘zgaruvchilari kon’yunksiyasini olish lozim.
2-qator uchun: ⌐A&⌐B&C; 6-qator uchun: A&⌐B&C; 8-qator uchun: A&B&C bo‘ladi. Agar qatorlar bo‘yicha olingan formulalar diz’yunksiyasi olinsa hosil bo‘lgan formula qidirilayotgan formula bo‘ladi:
α=α(A,B,C)= ⌐A&⌐B&C\/A&⌐B&C\/A&B&C (1)
Rostlik jadvalida α=α(A,B,C) formula 0 ga teng bo‘lgan qator nomerlarini yozib chiqamiz.
1-qator 3-qator 4-qator 5-qator 7-qator
Har bir qator mantiqiy imkoniyatlaridagina 0 ga teng bo‘lgan, boshqa imkoniyatlarda esa 1 ga teng bo‘lgan formulalarni yozib chiqamiz. Buning uchun 0 ga teng bo‘lgan qatordagi fikr o‘zgaruvchilari qiymatlarini 0(yolg‘on) ga aylantirib, fikr o‘zgaruvchilari diz’yumksiyasini olish lozim.
Shunda 1-qator uchun: A\/B\/C; 3-qator uchun: A\/B\/ ⌐C; 4-qator uchun: A\/⌐B\/⌐C; 5-qator uchun: ⌐A\/B\/C; 7-qator uchun: ⌐A\/⌐B\/C bo‘ladi.
Agar qatorlar bo‘yicha olingan formulalar kon’yunksiyasi olinsa, hosil bo‘lgan formula qidirilayotgan formula bo‘ladi.
α=α(A,B,C)=(A\/B\/C)&(A\/B\/ ⌐C)&
&(A\/⌐B\/⌐C)&(⌐A\/B\/C)&(⌐A\/⌐B\/C) (2)

Download 109,87 Kb.

1 2 3 4 5 6 7 8 9

Download 109,87 Kb.