Сборник задач по дискретной математике. Учебное пособие. Москва: Наука

22-23-24-MAVZU

MATEMATIK MANTIQ FUNKSIYALARINI MINIMALLASHTIRISH MUAMMOSI. DIZ’YUNKTIV NORMAL SHAKLNI SODDALASH-TIRISH MASALASI. QISQARTIRILGAN DIZ’YUNKTIV NORMAL SHAKL. QISQARTIRILGAN DIZ’YUNKTIV NORMAL SHAKLNI YASASH ALGORITMI.

Reja:

1. 
   Matematik mantiq funksiyalarini minimallashtirish muammosi.
   
2. 
   Diz’yunktiv normal shaklni soddalashtirish va tupikli DNSh
   
3. 
   Minimallashtirish masalasining geometrik tarzda qo’yilishi.
   
4. 
   Qisqartirilgan diz’yunktiv normal shakl.
   
5. 
   Qisqartirilgan diz’yunktiv normal shaklni yasash algoritmi
   

Tayanch iboralar: Elementar kon’yunksiyaning rangi. Mulohaz alar algebrasi funksiyalarini minimallashtirish muammosi. Minimal DNSh. Eng qisqa DNSh.Trivial algoritm. Birma-bir ko‘zdan kechirish algoritmi. DNShni soddalashtirishning ikki xil yo‘li. Elementar kon’yunksiyani chetlashtirish jarayoni. Ko‘paytuvchini chetlashtirish jarayoni. Tupikli DNSh. Joiz kon’yunksiyalar. Trivial algoritmni soddalashtirish. Maksimal interval. Oddiy implikant. Qisqartirilgan DNSh. Algoritm.

Foydalanilgan adabiyotlar:
1.Тўраев Ҳ.Т., Математик мантиқ ва дискрет математика, Тошкент: Ўқитувчи
нашриёти, 2003, 378 б.
2.Лихтарников Л.М., Сукачева Т.Г., Математическая логика. Курс лекций.
Задачник-практикум и решения, Санк-Петербург: ЛАНЬ, 1999, 286 с.
3. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике.
Учебное пособие. Москва: Наука.
4. Искандаров Р.И., Математик логика элементлари, Самарқанд: СамДУ, 1970, 324 б.

Matematik mantiq funksiyalarini minimallashtirish muammosi.

Mantiq algebrasining funksiyalarini minimallashtirish muammosining dolzarbligi. Xalq xo‘jaligi uchun muhim amaliy ahamiyatga ega bo‘lgan ko‘pchilik masalalarni hal qilishda mantiq algebrasidan foydalanish mumkin. Quyida shunday masalalardan biri mantiq algebrasining funksiyalarini minimallashtirish muammosi sifatida qaralgan.