2.
.
: .
.
- .
- .
- .
- .
- .
.
- .
- .
- .
- .
- .
.
K . [ K ] K 2, K. K , [ K ]= K. K 2. P K K, [P] = K.
K, K ( .. K=P 2), K, K,
, = . .
, = . S.
,
L.
,
, 0 ( 1), f (0,0,...,0)=0 (c, f (1,1,...,1)=1). , 0 1, T 0 T 1.
, , ,
. .
( ) , =1 ( =0) , =0 ( =1). M.
T 0, T 1, S, L, M P 2.
. K 2 , T 0, T 1, S, L, M.
1.
1. K :
1) K ={0,1}; 2) K = { }; 3) K = { 1, };
4) K = {0, }.
2. P2 , K:
1) K = { }; 2) K = { };
3) K = { }; 4) K = { }.
3. , 2 .
4. g f,
1) f = x y, g = x ~ y; 2) f = x y, g = y x.
5. :
6. ,
7. , , .
|
|
8. f , , :
9. , ... .
10. , f f const,
11. .
12. , .
13. , ,
.
14. , , { }.
15. f { } , .
, , .
16. :
17. :
18. , , ,
, , .
19. , 2 , T 0, T 1, S, L, M.
20. , , :
1) P = { }; 2) P = { };
3) P = {0, 1, }.
21. , 2 : ,
.
22. = . , , .
23. f
24. f =(10110010) g =(1000)?
25. , , , .
2.
1 , .. : / .. , .. , .. . .: , 2003. 239 .
2. , .. : / .. , .. . .: , 2003. 26 .
3. , .. . : / .. . .: , 2003. 240 .