M. M. Aliyev 2019 raqamli texnika va mikroprotsessorlar

Mantiqiy funksiyani minimallashtirish misoli. 
Azizning onasi, otasi, bobosi va buvisi bor. Aziz ko'chada sayr qilish uchun 
bormoqchi, agar unga kamida ikkita qarindosh ruxsat bersa. 
Qisqartirish uchun biz Aziz qarindoshlarini harflar bilan belgilaymiz: 
• Onasi - x1 
• Dadasi - x2 
• bobosi - x3 
• buvisi - x4 
Qarindoshlarning roziligini birlik, kelishmovchilik nol deb belgilashga rozilik 
bildiramiz. Yurish qobiliyati f harfi bilan belgilanadi: 
• Aziz sayrga chiqadi - f = 1, 
• Aziz yurishga bormaydi - f = 0. 
Haqiqat jadvalini tuzaylik: 
X1 X2 X3 X4 f 
0 
0 
0 
0 
0 
0 
0 
0 
1 
0 
0 
0 
1 
0 
0 

---

67 
0 
0 
1 
1 
1 
0 
1 
0 
0 
0 
0 
1 
0 
1 
1 
0 
1 
1 
0 
1 
0 
1 
1 
1 
1 
1 
0 
0 
0 
0 
1 
0 
0 
1 
1 
1 
0 
1 
0 
1 
1 
0 
1 
1 1 
1 
1 
0 
0 
1 
1 
1 
0 
1 
1 
1 
1 
1 
0 
1 
1 
1 
1 
1 
1 
Grey kodidan foydalanib, biz Carno kartasini tayyorlaymiz: 
Carno kartasini haqiqat jadvaliga muvofiq to'ldiring: 
Qoidalarga muvofiq minimallashtirish uchun biz minimal DNF olamiz: 

---

68 
𝑓(𝑥1, 𝑥2, 𝑥3, 𝑥4) = 𝑠1˅𝑠2˅𝑠3˅𝑠4˅𝑠5˅𝑠6 = 𝑥3𝑥4˅𝑥1𝑥2˅𝑥2𝑥4˅𝑥1𝑥4˅𝑥1𝑥3˅𝑥2𝑥3 
Olingan minimal DNF asosida mantiqiy zanjirni qurish mumkin: 
2.45 – rasm. 
Qoidalarga muvofiq minimallashtirish uchun biz FSCni olamiz: 
𝑓(𝑥1, 𝑥2, 𝑥3, 𝑥4) = (𝑠1)(𝑠2)(𝑠3)(𝑠4) = (𝑥1˅𝑥2˅𝑥3)(𝑥1˅𝑥3˅𝑥4)(𝑥2˅𝑥3˅𝑥4)(𝑥1˅𝑥2˅𝑥4) 
Olingan minimal CNFdan foydalanib, biz mantiqiy zanjirni qurishimiz mumkin: 

---

69 
2.46 – rasm. 
Ko'rinib turibdiki, minimallashtirilgan kontaktlarning zanglashiga olib kelishi 
asosan 5 elementdan iborat OR