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

2-misol. 3-jadvalda ^II ga nisbatan ishlatilgan soddalashtirish algoritmi ishining asosiy bosqichlari keltirilgan.

Ushbu misoldan ko‘rinib turibdiki, soddalashtirish algoritmi tatbiqining natijasi dastlabki DNSH ni qanday tartiblashga bog‘liq bo‘lar ekan.

Masalan, , , , , , va bu yerdan , , munosabatlar kelib chiqadi.

3-jadval

Qa-dam №	DNSH va ko‘rilayotgan tartib	Tekshirilayotgan konyunktsiya	Opera-tsiya turi
1	2	3	4
1			chetlashtirish
2			chetlashtirish
3			chetlashtirish
4			chetlashtirish
5			chetlashtirish
6			chetlashtirish
7			qo‘llanilmaydi
8			chetlashtirish
9			qo‘llanil-maydi
10			chetlashtirish
11			qo‘llanil-maydi
12		Algoritm tamom bo‘ldi

XULOSA

Bu kurs ishni bajarish diskret matematika va matematik mantiq faniga bag‘ishlangan bo‘lib Dizyunktiv normal shaklni soddalashtirish va tupikli DNSH unda 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.DNSH ni soddalashtirishning ikki xil yo‘li, elementar konyunktsiyani chetlashtirish jarayoni, ko‘paytuvchini chetlashtirish jarayoni, tupikli DNSH, minimal DNSHga keltirish haqidagi teoremalar haqida bayon qilingan va misollar yechilgan.

Mazkur kurs ishini yozish mobaynida diskret matematika ba matematik mantiq fanidan graflarga oid bilimlarimni mustahkamladim.