I kirish II. Asosiy qism matematik mantiq funksiyalarining minimallashtirish muammosi masalasining qo‘yilishi

URGANCH DAVLAT UNIVERSITETI FIZIKA-MATEMATIKA FAKULTETI MATEMATIKA YO‘NALISHI 192--GURUH TALABASI YOʻLDOSHOV HASANBOYNING DISKRET MATEMATIKA VA MATEMATIK MANTIQ FANIDAN

KURS ISHI

MAVZU:

Topshirdi:

Qabul qildi:


REJA:

I. KIRISH

II. ASOSIY QISM

1. Matematik mantiq funksiyalarining minimallashtirish muammosi masalasining qo‘yilishi

2. Tupikli DNSH

3. Dizyunktiv normal shaklni soddalashtirish

III. XULOSA

IV. FOYDALANGAN ADABIYOTLAR

KIRISH

Mantiq – muhokama yuritishning qonun-qoidalari, usullari va formalari haqidagi fan bo‘lib, uning asoschisi qadimgi yunon mutafakkiri Aristotel (384-322 y. miloddan avval) hisoblanadi. U birinchi bo‘lib deduktsiya nazariyasini, ya’ni mantiqiy xulosa chiqarish nazariyasini yaratib, mantiqiy xulosa chiqarishning formal xarakterga ega ekanligini ko‘rsatdi. Aristotelning mantiqiy ta’limoti formal mantiqning (logikaning) asosini tashkil qiladi. Formal mantiq fikrlashning formalari va qonunlarini tekshiradi. Shunday qilib, Aristotel mantiqiy fikrlashning asosiy qonunlarini ochdi.

Aristotel asos solgan mantiq ko‘p asrlar davomida turli mutafakkirlar, faylasuflar va butun falsafiy maktablar tomonidan to‘ldirildi, o‘zgartirildi va takomillashtirildi. Shu jumladan, Abu Nasr Farobiy, Abu Ali Ibn Sino, Abu Rayxon Beruniy, Muhammad al-Xorazmiy, Umar Xayyom, Alisher Navoiy, Mirzo Bedil kabi vatanimiz va Sharqning buyuk mutafakkirlari ham o‘zlarining katta hissalarini qo‘shdilar. Mantiqning yangilanishida fransuz olimi R.Dekartning (1596-1650) ishlari muhim rol o‘ynadi. R.Dekart analitik usulda fikrlashning asosiy prinsiplarini yaratdi.

Mazkur kurs ishi Dizyunktiv normal shaklni soddalashtirish va tupikli DNSh mavzusida bo‘lib kirish, asosiy qism,xulosa va foydalanilgan adabiyotlardan iborat.Asosiy qism uchta bo‘limdan iborat birinchi bo‘limda elementar konyunktsiyaning rangi, mulohazalar algebrasi funksiyalarini minimallashtirish muammosi, soddalik indeksi va uning xususiyatlari,minimal DNSH, eng qisqa DNSH, trivial algoritm, «Birma-bir ko‘zdan kechirish» algoritmi haqida ma’lumotlar berilgan.

Ikkinchi bo‘limda tupikli DNSh haqida qisqacha ma'lumotlar keltirilgan.

Uchinchi bo‘limda DNSH ni soddalashtirishning ikki xil yo‘li, elementar konyunktsiyani chetlashtirish jarayoni, ko‘paytuvchini chetlashtirish jarayoni minimal DNSHga keltirish haqidagi teoremalar haqida bayon qilingan.

Matematik mantiq funksiyalarining minimallashtirish muammosi masalasining qo‘yilishi
1-ta’rif. ( da ) (1) ifodaga elementar konyunktsiya deb aytiladi. soniga elementar konyunktsiyaning rangi deyiladi. Konstanta 1 ni rangi 0 ga teng bo‘lgan elementar konyunktsiya deb bilamiz.