Ravshanov Amirning Ma’lumotlar tuzulmasi algoritimi fanidan

1-kadam. Post jadvali orqali berilgan funksiyalar sinfini to‘liqligini tekshirish uchun, sistemadagi barcha funksiyalarning chinlik jadvalini tuzamiz

					1
0	0	0	1	1	1
0	1	1	1	1	1
1	0	1	0	0	1
1	1	1	1	0	1

2- kadam. Berilgan funksiyalarning P₀ , P₁, L, S, M funksional yopiq sinflarga tegishliligini yuqoridagi chinlik jadvalidan aniqlaymiz.Funksiyamiz P₀ –nol saqlovchi funksiyalar sinfiga kirishi uchun argumentlarning barchasi bir vaqtda yolg’on qiymat qabul qilganda funksiya kam yolg’on qiymat qabul qilishi kerak. Chinlik jadvalidan ko‘rinib turibdiki faqat funksiya nol saqlovchi, qolgan funksiyalarimiz nol saqlovchi emas. Post jadvalida mos ustunni to‘ldiramiz.

	P0	P1	L	S	M
	+
	-
	-
1	-

3- kadam. Funksiya P₁ –bir saqlovchi funksiyalar sinfiga kirishi uchun argumentlarning barchasi bir vaqtda chin qiymat qabul qilganda funksiya kam chin qiymat qabul qilishi kerak. Chinlik jadvalidan ko‘rinib turibdiki faqat funksiya bir saqlovchi emas, qolgan funksiyalarning barchasi bir saqlovchi. Post jadvalida mos ustunni to‘ldiramiz.

	P0	P1	L	S	M
	+	+
	-	+
	-	-
1	-	+

4- kadam Endi sistemadagi funksiyalarni L- chiziqli funksiyalar sinfiga tegishli yoki tegishli emasligini tekshiramiz. Buning uchun funksiyalarning Jegalkin ko‘phadi ko‘rinishini hosil qilamiz. Ko‘phadda ko‘paytirish amali ishtirok etmasa, bunday funksiya chiziqli bo‘ladi

Ko‘rinib turibdiki va funksiyalar chiziqli emas, va 1 chizikli. Post jadvalida mos ustunni to‘ldiramiz

	P0	P1	L	S	M
	+	+	-
	-	+	-
	-	-	+
1	-	+	+

5- kadam. Chinlik jadvali yordamida funksiyalarning S-o‘z –o‘ziga qo‘shma funksiyalar sinfiga kirishini tekshiramiz. Buni 3 xil usulda amalga oshirish mumkin

1-usul. Chinlik jadvalida funksiyalarni qiymatlari satrini chiziq bilan o‘rtasidan ajratib, shu chiziqqa nisbatan qiymatlarning simmetrikligini tekshiramiz

					1
0	0	0	1	1	1
0	1	1	1	1	1
1	0	1	0	0	1
1	1	1	1	0	1

2- usul. Chinlik jadvalida funksiya qiymatlirini teskari o’girib, (kushmalik prinsipiga ko’ra) inkorlarini olganda funksiyaning chinlik qiymati bilan mos tushsa, bu funksiya o’z-o’ziga qo’shma bo’ladi
3-usul. funksiyaga qo’shma funksiyani topish uchun funksiyaning barcha o’zgaruvchilarini va funksiyani inkorini topish kerak. Agar = bo’lsa, funksiya o’z-o’ziga ikkitaraflama yoki o’z-o’ziga qo’shma funksiya deyiladi
, demak bu funksiya o’z-o’ziga qo’shma emas.
, demak bu funksiya o’z-o’ziga qo’shma emas.
bu holda, bu funksiya o’z-o’ziga qo’shma funksiya bo’ladi.
1 ga qo’shma funksiya 0 bo’ladi

	P0	P1	L	S	M
	+	+	-	-
	-	+	-	-
	-	-	+	+
1	-	+	+	-

6- kadam. Funksiyalar sistemasidagi funksiyalarni monotonligini tekshiramiz. Funksiya monoton bo’lishi uchun barcha larda shart bajarilishi kerak. Chinlik jadvalidan ko’rinib turibdiki monoton, nomonoton, nomonoton, 1 monoton bo’ladi.

	P0	P1	L	S	M
	+	+	-	-	+
	-	+	-	-	-
	-	-	+	+	-
1	-	+	+	-	+

Post jadvalning barcha ustunlarida kamida bittadan «-» ishora qatnashgan, ya’ni maksimal funksionol sinflarga kirmaydigan kamida bittadan funksiya mavjud. Demak ko’rilgan funksiyalar sistemasi to’liq.