Mustaqil Ishi Mavzu: Muhim yopiq sinflar Buxoro-2021 Muhim yopiq sinflar Reja

6- t a ’ r i f . A bilan P2 (nta argumentli mantiq algebrasining hamma
funksiyalarini o‘z ichiga olgan) to‘plamning biror qism to‘plamini belgilaymiz. A to‘plam funksiyalarning superpozitsiyasidan hosil qilingan hamma Bul funksiyalari to‘plami ( A to‘plam funksiyalari orqali ifodalangan hamma bul funksiyalari to‘plami) A to‘plamning yopig‘i deb aytiladi va [A] kabi belgilanadi.
3- m i s o l .
1. A  P 2 bo‘lsin, u holda [A]  P 2 bo‘ladi.
2. A{1, x1  x2} bo‘lsin, u holda A to‘plamning yopig‘i barcha chiziqli funksiyalar
to‘plamidan (ya’ni, L to‘plamdan) iborat bo‘ladi.


To‘plam yopig‘i quyidagi xossalarga ega:
1) [A]  A ;
2) [[A]]  [A] ;
3) agar A1  A2 bo‘lsa, u holda [A1]  [A2 ] bo‘ladi;
4) [A1  A2]  [A1][A2].
7- t a ’ r i f . Agar [A]  A bo‘lsa, u holda A to‘plam (sinf) funksional yopiq sinf deb ataladi.
4- m i s o l .
1. A  P 2 funksional yopiq sinfdir.
2. A{1, x1  x2} funksional yopiq sinf emas.
3. L funksional yopiq sinfdir.
Osongina ko‘rish mumkinki, har qanday [A] funksional sinf yopiq sinf bo‘ladi. Bu hol ko‘pgina funksional yopiq sinflarni topishga yordam beradi. To‘plam yopig‘i va yopiq sinf tilida funksiyalar sistemasining to‘liqligi ta’rifini (avvalgi ta’rifga ekvivalent bo‘lgan ta’rifni) berish mumkin.
8- t a ’ r i f . Agar [A]  P 2 bo‘lsa, u holda A funksiya-lar sistemasi to‘liq deb ataladi.
5- m i s o l . Quyidagi funksiyalar sistemalarining to‘liq emasligini Post jadvali vositasida isbot qilamiz (1- jadvalga qarang).
a) 1  {0, xy, x  y  z} ; b)  2  {1, xy, x  y  z};
d) 3  {x y  x z  y z}; e)  4  {0,1, x  y};
f) 5  {0,1, xy}.
Post jadvalidan ko‘rinib turibdiki, yuqorida keltirilgan barcha funksiyalar sistemalari to‘liq emas, chunki har bir sistema uchun jadvalda bitta ustun faqatgina “+” ishoralaridan iborat. Shuni ham ta’kidlash kerakki, har bir sistema uchun bu ustunlar har xil.
Demak, Post teoremasi shartidan P0 , P 1 , M , S , L maksimal funksional yopiq sinflarning birortasini ham olib tashlash mumkin emas. Bu xulosadan, o‘z navbatida, P0 , P 1 , M , S , L maksimal funksional yopiq sinflarning birortasi ham boshqasining qism to‘plami bo‘la olmasligi kelib chiqadi