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

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