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].
Do'stlaringiz bilan baham: |
