Вы находитесь на странице: 1из 80

. ..

-
", "


010300 ,
, ()
-


010400 ,
, ()
-

.. , .. , ..

1.2. , -


2012
. .., ..,
.. - . :
, 2012. 80 .


:
, , , ,
. " "
.
-
,
010400 010300
, .

2
1.

{a1 , a2 ,..., an } , n a1 , a 2 ,..., a n .


{ x | P ( x )} , x ,
P .
x A x A .
x A x A .
( ).
U (), . . .
A B A B ( A
B , A B ), , A
B .
A B , A B A B , .. A
B .
2 A { X | X A} A .
A U A A .
A B { x | x A x B} A B .
A B A B { x | x A x B} A B .
A B { x | x A x B} A B .
A B ( A B ) ( B A) A B .

1. A A ; A ;
2. A U U ; A U A;
3. A A A ; A A A;
4. A A U ; A A ;
5. A A ;
6. :
A B B A; AB BA ;
7. :

3
A ( B C ) ( A B) C ; A( BC ) ( AB )C ;
8. :
A( B C ) ( AB ) ( AC ) ; A ( BC ) ( A B )( A C ) ;
9. :
A B A B; AB A B;
10. :
A A B A; A ( A B) A ;
11. A A B A B ; A( A B) AB ;
12. A B A B .
13. A B A B A B .
, . ,
. ,
( AB C ) CD (( A B ) C ) (C D ) .

1.1. :
1) b {a, b}; 5) b {a ,{b}} ; 9) {} ;

2) b {a , b} ; 6) b {a ,{b}} ; 10) {} ;

3) {b} {a , b}; 7) {b} {a ,{b}} ; 11) ;

4) {b} {a , b}; 8) {b} {a ,{b}} ; 12) ?

1.2. :
1) 1, 2, 3, 1, 2, 3; 4) ;

2) {1, {1}, 2, {1, {2,3}}, }; 5) , ;

3) ; 6) , ?
1.3. , A B a A . :
1) a B ; 6) a A B ;

2) a B ; 7) a A B ;

3) A B ; 8) a A ;

4) a A B ; 9) a A ;

4
5) a A B ; 10) a B ?

1.4. , B A C , a A a B .
:
1) a ; 9) a A ;

2) a C ; 10) a A C ;

3) a A B ; 11) a A C ;

4) a A B ; 12) a A B ;

5) a A B ; 13) a A B C ;

6) a B A ; 14) a B C A ;

7) a A B ; 15) a A B C ;

8) a A C ; 16) a B A C ?

1.5. U {1, 2,3, 4,5,6,7,8}


A { x | 2 x 6} , B { x | x } , C { x | x 4} , D {1, 2, 4} .
A B , CD , B C , A (BD ) , ( A B ) (C D ) , A B C ,
2 A 2B , 2D 2B .

1.6. U {1,2,3,4,5,6,7,8}
A { x | x }, B { x | x } , C { x | x } ,
D {1,3,5} . A B , CD , A B , A B C D , C D ,
( A B ) (C D ) , A B , C A D , 2 A 2 B , 2 D 2 C .

1.7. M 2 , M 3 , M 5 ,
, 2, 3, 5.
:
1) 6;
2) 30;
3) 30;
4) 10, 3.
- , :
1) 45 15;
5
2) 42 6, 10;
3) {8, 9, 10}
2, 3, 5, 6.

1.8. i 1, 2,..., n
Ai {( i , j ) | j 1, 2,..., n} Bi {( j , i ) | j 1, 2,..., n} .
, , :
1) {( i , j ) | 1 i k , 1 j k , k n};
2) {( i , i ) | i 1, 2,..., n} ;
3) {( i , j ) | 1 i j n} .

1.9. , ,
.

1.10. ,
A, B , C :
1) A ( B C ) ( A B) ( A C ) ;
2) A ( B C ) ( A B ) ( A C ) ;
3) A ( B C ) ( A B ) ( A C ) ;
4) A B C ( A B )( A C ) ;
5) A ( B C ) ( A B ) ( A C ) ;
6) A B C ( A B )( A C ) ;
7) A ( B C ) ( A B ) ( A C ) ;
8) A ( B C ) A B A C ;
9) A ( B C ) ( A B ) ( A C ) ;
10) A ( B C ) A B A C ;
11) A ( B C ) ( A B ) ( A C ) ?

1.11. :
1) A A B A ; 10) A B A B A B ;
2) A ( A B ) A ; 11) A ( A B ) B ;
3) A A B A B ; 12) A B A A B ;
4) A ( A B ) A B ; 13) A B ( A B ) A B ;
5) A ( A B ) A B ; 14) A B A B A B U ;

6
6) A A B A B ; 15) A B A B A B ;
7) A ( B A) ; 16) A B A B A B ( A B ) ;
8) A ( B A) A B ; 17) A A B A A B B A B ;
9) A B A B A ; 18) A ( B C ) ( A B )( A C ) ;
19) ( A B ) C ( A C ) ( B C ) A ( B C ) ;
20) A ( B C ) ( A B ) A C ( A B ) ( A C ) ;
21) ( A B ) C ( A C ) ( B C ) ;
22) A B C ( A B ) ( B C ) (C A) A B C ;
23) A B C ( A B ) ( A C ) A B C A ;
24) A ( B C ) A B C A B C A B ;
25) ( AB A) ( BC C ) ( AB BC ) ( A C ) ;
26) ( A B ) ( B C ) ( A C ) B ( AB BC ) ( A C ) .

1.12. :
1) , ;
2) , ;
3) , .

1.13. , A B AB .

1.14. , A B A B .

1.15. :
A B C B; A B C;

1) ABC D; C D;
2)
AD B C . AD B C D;
B CD.

C A B;
A D B C;

3)
B D C;
BC D.

7
1.16. , :

X Z W ,
X Z,
1) Y W ,
X Y Z W Y W .

C D A, A CD,

2) B D A C , B C A,
A D C B A C D.

B CD,
A C B ,
C D B,
3) C B D,
AC B D AC D,
A B BC .

1.17. :
1) A X B ; 16) A X B X A ;
2) A X B ; 17) A X B ( X A) B ;
3) A X B ; 18) A X B X ;
4) A X B ; 19) X A B ( X A) ;
5) A X B X ; 20) ( A X ) B B X A ;
6) A X B X ; 21) X A B ( X A) ;
7) A X X B ; 22) ( A X ) X X B ;
8) ( A X ) B X B ; 23) A X A ( X B ) B ;
9) A X ( X B ) A ; 24) ( A X ) B A B X ;
10) X A ( X B ) A ; 25) A ( X B ) B X ;

11) ( A X ) B X B ; 26) B X ( A X ) X ;
12) ( A X ) B B X ; 27) A X B X A ;
13) ( X A) B A X ; 28) ( X B ) A A X ;
14) ( X A) B B X ; 29) A X B A X ;
15) A X B B X ; 30) X A ( B X ) A .

8
1.18. X , , A , B , C
, B A C :
A X B A X B
1) ; 2) .
A X C A X C

1.19. :

( A X )( B X ) C X A B X X C
1) ; 2) ;
BX C AX AX B AX C

AX B
A X B
3) B X C ; 4) ;
CX A B A X C


AX B X C A X BX
5) ; 6) .

BX A X C AX C X

9
2.

A B a, b a A, b B ( )
() A B .
R A B ,
( ).
A 2 A A ( ). R A 2 , R
.
x R y , ( x , y ) R ( x y R).
R 1 {( a , b ) | (b, a ) R} , R .
R1 R2 R1 R 2 : R1 A B , R2 B C ,
R R1 R2 A C xR y z B , xR1 z zR2 y .


R A
(1) , x A xR x ;
(2) , xR y yR x ;
(3) , xR y yR x x y ;
(4) , xR y yR z xR z .
,
( ).
,
( ). R A
, x , y A xR y yR x .

2.1. A {1, 2, 3} B { a , b } . A B , A A, B A, B B ,
A , 2 A , 2 B , B 2B .

2.2. A , B {} C {, {}}. A B, A C , B C ,
B B, C C , 2 A , 2 B , 2 C , B 2 B , B 2 C , C 2 B .

10
2.3. ,
A , B , C , D :
1) A B B A ;
2) ( A B ) C ( A C ) ( B C ) ;
3) ( A B ) (C D ) ( A C ) ( B D ) ;
4) ( A B ) (C D ) ( A C ) ( B D ) ;
5) ( A B ) C ( A C ) ( B C ) ?

2.4. , (1) (4)


{ 1, 2, 3, 4, 5} :
R1 : R1b | a b | 1;
R2 : aR2 b 0 a b 3 ;
R3 : aR3 b a b ;
R4 : aR4 b a b 2 ;
R5 : aR5 b ( a , b ) 1.
:
R1 R2 , R1 R2 , R21 , R2 R4 , R4 R2 , R5 R41 .

2.5. , :
1) , ;
2)
;
3) R R R 1 R R 1 ;
1
4) R R ( R R ) ;
5) R (1)(4), R 1
;
6) R R R 1 ;
7) R R R 1 ;
8) R1 R 2 (1)(4),
R1 R2 ;
9) R1 R 2 , R1 R2
;

11
10) R1 R 2 , R1 R2
;
11) R1 R2 , R1 R2
.

2.6. , .1,
?

1 2 1 2 1 2

3 3 3

1. 2. 3.

1 2 1 2 1 2

3 3 3

4. 5. 6.

1 2 1 2 1 2

3 3
3
7. 9.
8.

.1. 2.6

2.7. a, b.
:
1) ; 4) ;
2) ; 5) ;
3) ; 6) .

12
2.8. ,
{0,1,...,9} .
.
R1 : aR1b a b (mod 3) ;
R2 : aR2 b a 2 b 2 (mod 10 ) ;
R3 : aR3b ab 0 (mod 2) ;
R4 : aR4 b | 2 a 2 b | 16 ;
R5 : aR5 b | 2 a 2 b | 16 ;
R6 : aR6 b ( a , b ) 1 .

2.9. .
R : xR y x y 2 . - R R 1 , R 1 R
?

2.10. , 2
:
R1 : ( x1 , y1 ) R1 ( x2 , y 2 ) x1 x2 ;
R2 : ( x1 , y1 ) R2 ( x2 , y 2 ) x1 x2 y1 y 2 ;
R3 : ( x1 , y1 ) R3 ( x2 , y 2 ) x1 y1 x2 y 2 ;
R4 : ( x1 , y1 ) R4 ( x2 , y 2 ) x1 y 2 y1 x2 ;
R5 : ( x1 , y1 ) R5 ( x2 , y 2 ) x1 x2 x1 x2 , y1 y 2 ?
.

2.11.
n n 1, 2, 3, 4 ?

2.12. .1 ?

2.13. :
R1 : xR1 y x y ;
R2 : xR2 y x y ;
R3 : xR3 y x y ;
R4 : xR4 y x 2 y 2 ;
R5 : xR5 y x y ;
13
R6 : xR6 y x y ;
R7 : xR7 y ( x , y ) 1?

2.14.
{ 2, 3, 4, 6, 8, 9,12,18, 24, 36}.

2.15. 2 R : ( x1 , y1 ) R ( x2 , y 2 )
x1 x2 , y1 y 2 . , .
R
:
A1 {( x, y ) | x 3, y 4};
A2 {( x, y ) | 2 x y 4} ;
A3 {( x , y ) | x 2 y 2 4} .

2.16. U . ,
2U :
1) AR1 B A B ;
2) AR2 B A B ;
3) AR3 B A B B A ;
4) AR4 B | A | | B | ?

2.17.
? ?

14
3.

A B , f : A B :
1) , A
B ;
2) , y B
x A , f x y ;
3) (- ),
.
A A ( ).
: A B
- , A B .
: A B ,
A B A B .
: A B
A B A B . , a
k , , , a
, b n , ( a , b )
k n .
A a1 ,..., a n ,
( ai1 ,..., aik ) A n, k -.
, ,
.
n, k - n, k -
.
n, k n k .
n, k - n, k -
.

15
n, k Pn , k
n!
.
n k !
n, n - n .
n n! .
n, k - n, k -
.
n
n, k
n!
.
k n k !k !

n, k - n, k -
.
n, k
n k 1 n k 1!
.
k k ! n 1!
n n
: x y n
k x k y n k .
k 0

A
A1 ,..., Ak , :
k
1) Ai A j i j ; 2) Ai A .
i 1
n k
n n!
n1 , n2 ,, nk = .
1 2
n , n ,..., n k n !
1 2n !...n k !

n :
n n k 1
Ai (1) Ai1 ... Ai k .
i 1 k 1 {i1,..., i k }{1, 2 ,..., n}

3.1. n1 , n 2 , n3 .

1) ;
2) ;
16
3) .

3.2. , n
,
1) `` ``;
2) ``, ``, ` `?

3.3. (,
) n , k ?

3.4. m n
0 1?

3.5. n
? :
1) ?
2) ?
3) ?

3.6. U n A k
. B U , :
1) B A ; 4) A B ;

2) B A ; 5) | B A | 1;

3) A B ; 6) | B A | 2 .

3.7. U n A k
B l , | A B | m .
X U , :
1) X A, X B ; 3) A B X A ;

2) X A, X B ; 4) X A B .

3.8. , 10 n ,
9? 0?

17
3.9. 2048? 2310? 2880?
k k
p1 1 ... p s s , p1 ,..., p s , k1 ,..., k s
?

3.10. n q ,
?

3.11.
, ?

3.12.
, ?

3.13. n m
0 1?

3.14. 1, 2,..., n ,
1) 1 2?
2) 1 2 ?
3) 1 2 k ?
4) 1 , 2 ?

3.15.
, , ..
?

3.16. ,
1) ;
2) ;
3) , 0;
4) , 9, 0;
5) , ;
6) ?

3.17.
n ?

18
3.18. n k
? ,
?

3.19. A B ,
| A | n , | B | m ? ? ?

3.20. n

1) ?
2) ?

3.21. n1 , n 2 n3 .

1) ;
2) ;
3) , ?

3.22. 10
5 ?

3.23. n ,
.
?

3.24. n ,
m . ()
?

3.25. U n A k
. B U , :
1) | B A | 2 ; 2) B A 3, A B 4; 3) A B 1.

3.26. , 52 , 10 .
? :
1) ;
2) ;
3) ;
4) ;

19
5) ?

3.27. 4 n , n ,
1, 2,..., n .
, :
1) ;
2) ;
3) ;
4) ;
5) ;
6) ;
7) , .

3.28. ,
1) ;
2) ;
3) ?

3.29. 10 ,
3 ,
,
?

3.30. n k
, ?

3.31. n
k ,
1) ;
2) ?

3.32. n m
,
?

3.33. ,
, ,
,

20
, .
, (0,0) ,
1) ( m, n ) ;
2) x y n .

3.34. n -?
( ), ,
?

3.35. U n ( A, B ) ,
:
1) B A ; 4) | A B | m , | A B | k ;
2) A B ; 5) A B B A k ;
3) | A B | k ; 6) | A B | 1 .

3.36. 6 , 52
, , ?

3.37. n ,

?

3.38. ,
?

3.39. ( )
x1 x 2 ... x k n .

3.40. n
k ?
3.41. ,
?

3.42. 7
,
1) , ,
;

21
2) , ,
?

3.43. . ,
0 3.
, ?

3.44. 14 7 ?

3.45. x 4 y 8 1 x y
20
?

3.46. kn n
() ,
k ?

3.47. ,
, .
, , .
1) ,
, ?
2) , ,
?

3.48. ,
.
, , .
, ,
.
1) ?
2) ?
3) ?

3.49. , 1000,
1) 3 5;
2) 2, 3, 5?

3.50. 100 50
++, 53 , 42 , 15

22
++ , 20 ,
25 ++ , 5 .
1)
?
2)
?
3) ?
4) ++, ?

3.51. U n .
A, B, C ,
:
1) n 7, | ( A B) C | 6 , | C ( A B) | 2 ;
2) n 6, | A B | 5 , | A ( B C ) | 1 ;
3) n 7, | ( A B) C | 4 , | C ( A B) | 1;
4) n 6, | ( A B) C | 4 , | A B C | 1 ;
5) n 8, | A B C | 4 , | A B | 1 .


3.52. a1 , a2 ,, aq . ni
ai . n,
:
1) q 5, n 8, n1 n2 n3 2 ;
2) q 4, n 8, n2 n1 2 ;
3) q 3, n 9, n1 n2 n3 ;
4) q 3, n 9, 2n1 n2 n3 ;
5) q 5, n 7, n1 n2 n3 2 , n4 3 .

3.53. :
1) , ;
2) , ;
3) , ;
4) , .

23
4.

G (V , E ) V
E , V .
, ,
. a, b ,
a b . (a, a) .
.
, ,
.
G1 (V1, E1) G2 (V2 , E2 ) ,
f : V1 V2 , , a, b V1 a, b E1
, f (a), f (b) E2 . f
G1 G 2 . G1 G 2 ,
, G1 G2 .
, , .
, ,
, .
a ,
d (a) .
.
G (V , E ) d ( a ) 2m , m
aV
.
G (V , E ) G (V , E) ,
V V , a, b E , a, b E .
G (V , E ) G' (V ' , E ' ) , V ' V , E ' E .
G (V , E ) G' (V ' , E ' ) ,
V ' V , E ' E , ..
.

24
G (V , E ) G' (V ' , E ' ) ,
V ' V , E ' { (a, b) E a, b V '} , ..
,
.
a1 , a 2 ,..., a k , , a i , a i 1 E
i 1,...,k 1 , , a1 a k .
k 1 .
, .
, .
, a1 a k .
, a1 ,..., a k 1 .
,
, .
,
.
,
.

, .
.
.
.
,
. .
, . ,
, .
.
, .
, .
, , .
,
() , .
.
, .
, . ,
. 1.
25
T n . ,
1, 2,, n. a1 T, b1
. T a1 e1 (a1 , b1 ) ,
T1 , .
, an2
en2 (an2 , bn2 ) Tn2 ,
en 1 (an 1 , bn 1 ) . T
p(T ) b1 ,..., bn 2 , .
V 1, 2,...,n, n 3 .
p(T ) b1,...,bn2 , bi V i 1,...,n 2 , T,
V.
a1 V,
p(T ) , ( a1 , b1 ) .
a1 V b1 p(T ) .
,
p(T ) . V
T.
,
.
K n n , .. ,
. On n , .. ,
.
K p, q .
V1 V2 , | V1 | p , | V2 | q ,
, .
Qn n- .
n ,
.
Pn n .
C n n .
, ,
, ,

26
, . . .
, .

,
, .
G (V , E ) n m
n f m 2 , f .
n ( n 3 ) m
m 3 (n 2) .
n ( n 3 ) m ,
, m 2 (n 2) .
n ( n 3 ) m ,
k (k 3) ,
k
m (n 2) .
k 2
(a, b) G (V , E )
(a, b) (a, c), (c, b) , c
. G G ,
.
-.
, ,
K 5 K 3,3 .
(a, b) G (V , E )
() a b . G
G , G G
.
. ,
, K 5 K 3,3 .

4.1. .
.

4.2. n m .
1) ;
2) ?

27
4.3. n ,
:
1) ;
2) ;
3) , .

4.4. n ,
:
1) ;
2) .

4.5. , :
1) (0,2,2,3,3); 2) (2,2,2,3,3);
3) (2,2,3,3,3); 4) (0,1,2,3,4).

4.6. K n , K p, q , Qn .

4.7. k .
1, 2, ..., k .
,

. .

4.8. n n ,
3? 4?

4.9. 0 .
n ,
1) k ;
2) (
).

4.10. , . 2,
.

1 2 3 4 5 6

28
7 8 9 10 11 12

13 14 15 16 17 18
. 2. 4.10

4.11. :
1) 4 ;
2) 6 3 ;
3) 6 13 .

4.12.
.

4.13. , . 3,
.

1 2 3 4 5

6 7 8 9

. 3. 4.13

4.14. , . 4,
.

1 2 3 4

. 4. 4.14

29
4.15. , . 5,
.

1 2 3 4 5

6 7 8 9 10

. 5. 4.15 4.33

4.16. , . 6,
.

1 2 3 4 5

6 7 8 9 10
. 6. 4.16

4.17. G , G G .
, 6.

4.18. k
K n K p ,q .

4.19. Q n n ,
(0,0,...,0) (1,1,...,1).

30
4.20. ,
.

4.21. Pn , Cn , Qn , K p, q .

4.22. , , , :
0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 1
1 0 1 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 1 1 0
0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1
0 1 0 1 1 1 0 0

1) 1 0 1 0 1 0 0 0
; 2) 0 0 1 0 1 0 0 0
; 3) 0 1 1 0 1 1 0 0
.
0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0
0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0
0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1
1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0
0
, .
.

4.23. , :
1) ;
2) ;
3) ;
4) .

4.24. , , , :
0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1
0 0 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0
1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0

1) 1 1 0 0 0 0 1 0 ; 2) 0 1 1 0 1 0 0 0 ; 3) 0 0 1 0 1 0 0 0 .
0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1
1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0
0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1
0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0

, .
.

4.25. n
?

4.26. G G ?

4.27. G n 1, , G G
.

31
4.28. n
?

4.29. p q K p, q ? ?
? n Qn ?

4.30. , Qn n 2 .

4.31. , ,
.

4.32. , ,
.

4.33. , . 5, ?

4.34. n ?

4.35. k .
?

4.36. ,
6.

4.37. .

4.38. n k ?

4.39. n ,
?

4.40. n 1 k .
?

4.41. (1,..., n) .

4.42. , .7.

32
7 8
1) 2 2) 7 9 3)
8 1 4
5 6 4 3 6
6 3 10
1 5 3 8 1 5
9 2 9 2
4 7

4) 3 2k+2 5) 6) 3 2k+2
k+1 k+2 2k-2 2k-2
5 1 6 2k-3 2k-1 2k
2 2 k-1
4 3 2k+1 1 2
2k+1 1 k

. 7. 4.42

4.43. p(T ) .
.
1) P(T ) ( 4,1, 6, 2, 2, 2, 7) ;
2) P(T ) ( 4, 2, 3, 4, 2, 3,1,1) ;
3) P(T ) ( 5, 2, 5, 3, 5, 4, 9, 6) ;
4) P(T ) (2, 2,...,2) ;

n2
5) P(T ) (1,2,..., n 2) ;
6) P(T ) ( 3, 3, 4, 5,..., n 2, n 2) .

4.44. ,
.

4.45. , . 8, ?

1 2 3 4 5

33
6 7 8 9 10
. 8. 4.45

4.46.
G ,
, :
1) G = K 6 ;
2) G = Q4 ;
3) G (. 9)? . 9.

4.47. 6 12 ,
, K 5 K 3,3 .

4.48. , , :
1) 7 16 ;
2) 8 17 .

4.49.
, ? .

4.50. n Qn ?

4.51. G1 (V1 , E1 ) G2 (V2 , E2 )


G (V1 V2 , E1 E2 ) . K 7
?

4.52.
( ):
1) 6 , 5 (15);
2) 7 , 4 (10);
3) , 6 , 6 (13);
4) , 5 (12);
5) , 4 (9);
6) , 4 (11);
7) (2,2,2,3,3,4) (4);

34
8) (2,2,3,3,3,3) (4);
9) , 7 (11);
10) , (1,1,1,1,2,2,2,3,3) (9);
11) , (1,1,1,1,1,2,2,3,4) (8);
12) , 5 (10);
13) , 3, 8 (11);
14) , 5 (9);
15) , 6 , 5 (8);
16) , 3, 5 (6);
17) , 6 (8);
18) , 7 , 9 (3);
19) , 5 (8);
20) , 6 , 8 (6);
21) 6, 5 (6);
22) , 6 , 11 (4);
23) , 5 (13);
24) , 6 , 6 (6);
25) , , 3 (16);
26) , , 4 , 3 (13).

35
5.

E 0,1. f ( x1 , x 2 ,..., x n ) , E n
E ,
n , .. f : E n E .
(. . 1).

x 0 x x 1
:
0 0 0 1 1
0 .
1 0 1 0 1
x .
.1.
x x , x .
1 .

x y x& y x y x y xy xy x y x y
0 0 0 0 0 1 1 1 1
0 1 0 1 1 1 0 1 0
1 0 0 1 1 0 0 1 0
1 1 1 1 0 1 1 0 0
. 2.

. 2 .
x & y x y, x y xy , x y.
x y x y, x y.
x y 2 x y, x y.
x y x y, x y.
x y x y, x ~ y, x
y.
x y x y, x y.
x y x y, x y.
f1,..., f m f ,

.

36

1. x y, & , , , , , ,
: x y y x .
2. x y, & , , , ,
: ( x y) z x ( y z ) .
3. :
( x y) & z ( x & z ) ( y & z ) ;
( x & y) z ( x z ) & ( y z ) ;
( x y) & z ( x & z ) ( y & z ) .
4. :
) x & y x y ; ) x y x & y .
5. :
) x ( x & y) x ; ) x & ( x y) x .
6. ) x ( x & y) x y ; ) x & ( x y) x & y .
7. a) x & x x & 0 x x 0 ; ) x x x 1 x x 1.
8. ) x & x x x x & 1 x 0 x 0 x ;
) x 1 x 0 x 0 x x x x x ;
9. ) x y ( x & y) ( x & y) ( x y) & ( x y) ;
) x y x y ;
) x y x y ( x & y) ( x & y) ( x y) & ( x y) ;
) x y x & y x y ;
) x y x y x & y .

k-
~
~ (1 ,..., k 1 ,0, k 1 ,..., n ) (1,..., k 1, 1, k 1,..., n ) ,
k- .
x k f ( x1 , x2 ,...,xn ) ,
~
~ , k- , ,

f ~ f . x k .
~

37
f ( x1 , x2 ,..., xn ) x k .
, f ( x1 , x2 ,...,xn ) .
1,..., k 1, 1, k 1,..., n , f (1,..., k 1, 1, k 1,..., n ) ,
, x k .
g ( x1 , x 2 ,..., x k 1 , x k 1 ,..., x n ) n 1
. , g ( x1 , x 2 ,..., x k 1 , x k 1 ,..., x n )
f ( x1 , x2 ,...,xn )
xk , f ( x1 , x2 ,...,xn )
g ( x1 , x 2 ,..., x k 1 , x k 1 ,..., x n ) x k .

x n ) g( ~
f ( ~ x m ) ,
x n ) g ( ~
f(~ x m )
. , 0 1,
, .
f ( x1,..., xn ) f ( x1 ,...,xn ) ,
f ( x1 ,..., x n ) f ( x1 ,..., x n ) .

f ( ~
x n ) ,
(
):

f ( x1 ,...,xn )
1 ,..., n

x1 1 ... xn
n
,

f ( 1 ,..., n ) 1

( 1 ,..., n ) E n ,
f ( ~
x n ) .
f ( ~
x n ) ,

( ):
f ( x1 ,..., xn ) & ) x 1
1
... xn n ,
( 1 ,..., n
f ( 1 ,..., n ) 0

38
( 1 ,..., n ) E n ,
f ( ~
x n ) .

5.1. f ( x1 , x2 ) g ( x1 , x2 ) , , h :

1) ~ f 1011, ~g 0111 ,

) h( ~
x 2 ) f ( x1 , g ( x1 , x2 )); ) h( ~
x 2 ) g ( x2 , f ( x2 , x1 ));
) h( ~
x 2 ) f ( f ( x1 , g ( x1 , x2 )), g ( x1 , x2 ));
) h( ~
x 3 ) g ( x1 , x2 ) f ( x3 , g ( x1 , x2 ));
) h( ~
x 3 ) f ( x2 , g ( x3 , x1 )) g ( x1 , g ( x2 , x3 )).
2) ~ f 1010, ~g 0110 ,

) h( ~
x 3 ) f ( x3 , g ( x1 , x2 )); ) h( ~
x 3 ) g ( g ( x3 , x2 ), f ( x1 , x3 ));
) h( ~
x 3 ) f ( f ( x3 , g ( x1 , x2 )), g ( x1 , x2 ));
) h( ~
x 3 ) f ( f ( x1 , x2 ), g ( x3 , x1 )) g ( x1 , g ( x1 , x2 )) .

5.2. :
1) x y x y y ; 2) x y x y & y x ;
3) x y x x y y x x y y ;
4) x y z x y x z ;
5) x & y z x & y x & z x ;
6) x y z x y x z ;
7) x y z x y x z ;
8) x & y z x y x & z ;
9) x y z x y x z ;
10) x y & z x y & x z ;
11) x y z x y x z .

5.3. , A B:


1) A x y z y x z x y , B x y y z x z z ;
2) A x y z x y z , B x y z x ;

39
3) A x y z x y z , B x y z x y y x z ;

4) A x y x z x y z x y , B x y z x ;
5) A x y z y y z , B x y y z x y z ;
6) A x y z x y y z x , B x y y x ;
7) A x y y z x z , B x y z x z ;
8) A x y x z y z x y , B x y z y z ;
9) A x y y z x x z , B x y x x y z ;
10) A x x y x z y y z , B x y z ;
11) A x y z x z y x y z , B x y z x y ;
12) A x y x z x y z , B x z y ;
13) A x y x z x y z , B x y z x z ;
14) A x y z y z , B x x y z x y z ;

15) A x y y z y x z x y z , B x y z .
5.4.
:
x 3 ) 10101010;
1) f ( ~ x 3 ) 10011001 ;
2) f ( ~
x 3 ) 00111100 ;
3) f ( ~ x 4 ) 0101111101011111 ;
4) f ( ~
x 4 ) 1100110000110011;
5) f ( ~ x 4 ) 1011010110110101;
6) f ( ~
x 2 ) x1 x2 x1 x2 x1 x2 x2 x1 ;
7) f ( ~
x 2 ) x x x x x x x ;
8) f ( ~ 1 2 1 2 1 1 2


x 3 ) x1 x2 x2 x3 x2 x3 ;
9) f ( ~

x 3 ) x1 x2 x3 x2 x1 x3 x1 x3 ;
10) f ( ~
x 3 ) x1 ( x 2 x3 ) x 2 ( x1 x3 ) ( x1 x 2 ) .
11) f ( ~

5.5. , x1 f,
f , x1 :
x 2 ) x2 x1 x2 x2 ;
1) f ( ~ x 2 ) x1 x2 x1 x2 ;
2) f ( ~

40
x 3 ) x1 x2 x3 x3 x2 ;
3) f ( ~
4) f ( ~
x 3 ) x1 x2 x3 x1 x2 x3 x2 x3 ;

x 3 ) x1 x2 x3 x1 x2 x3 x2 x1 x3 .
5) f ( ~

5.6. n ,
. n = 2, 3
, .
5.7. n ,
. n = 2,
3 , .
5.8. n ,
.
.
5.9. , f ~
x n n 1
, 1 .
?
5.10. n n 2 f ~
x n
:
1) f ~
x n = x1 ... xn x1 x2 ... xn1 xn xn x1 ;
2) f ~
x n = x1 x2 ... xn1 xn xn x1 x1 x 2 ... x n1 x n x n x1 ;
3) f ~ 1
x n = x ... x x ... x x ... x 1 ;
n 1 n 1 n

4) f ~
x n = x x x x ... x
1 2 2 3 n1x x x ;
n n 1

5) f ~
x n = x1 x 2 ... x n1 xn ... x1 xn ... x n1 x n .

5.11.
, , , g
f:
1) f x y, g x y ; 2) f x y, g x y ;
3) f x y, g x y ; 4) f x y z, g x y z ;
5)
f x y y x ,
g x y y x ;
6) f x y z , g x y z .

41
5.12. , ,
, f.
1) f x y z y z x y z ;

2)
f x 1 y y z x y z ;
3)
f x y x y x y z ;
4)
f x y y z 1 z ;
5)
f x y z 0 z 1 x y y z ;

6)
f x z x y x y z .
5.13. ... ... :
12 2 3 1 23
x 3 x x x x x x x ;
1) f ~
2) f ~
x 3 x1 x2 x1x3 x2 x3 ;
3) f ~
x 3 x1 x2 x3 x1 x3 x2 ;
4) f ~
x 3 x1 x2 x3 x1 x2 x3 ;
5) f ~
x 3 x1 x2 x1 x2 x3 ;

6) f ~
x 3 x1 x2 x3 x1 x3 x2 .

5.14. ... ...:


1) f ~ 1 2 3
x3 x x x ;
2) f ~
x 3 x1 x2 x2 x3 x1 x3 ;
3) f ~
x 3 x1 x2 x3 x2 x3 .

5.15. ... ...:

1) f ~
x 3 x1 x2 x3 ;

2) f ~
x 3 x1 x2 x2 x3 x3 ;

3) f ~
x 3 x1 x2 x1 x3 x2 x3 .

42
5.16.
f ~
x n , ...
:
1)
;
2) ,
;
3)
.

5.17.
.

5.18.
:
1) f ~
x 2 0100 ; 2) f ~x 3 011010 01 ;
3) f ~
x 3 10 0 01110 ; 4) f ~
x 3 0 0 0 0 0111 ;
5) f ~
x 3 0110 0110 .

5.19. f ~
xn :
1) f ~
x 2 = x1 x2 x1 x2 ;
2) f ~
x 2 = x x x x ;
1 2 1 2

3) f ~
x 3 = x1 x2 x2 x3 ;

4) f ~
x 3 = x x x x x ;
1 2 1 3 2

5) f ~
x 3 = x x x x ;
1 1 2 3

6) f ~
x 3 = x1 x2 x3 x1 x2 x3 ;

7) f ( x, y, z ) x y x y z y z ;
8) f ( x, y, z ) x y z y z x y z ;
9) f ( x, y, z ) x y z x y x y z
10) f ( x, y, z ) x y z x y x y z .

43
5.20. f ~
x n , 2 n
... n 1 .
5.21.
, , A B ,
... ..., :
1) A x1 x 2 x3 , B x1 x 2 x1 x3 ;
2) A x1 x 2 x3 x1 x3 , B x1 x 2 x3 ;
3) A x1 x 2 x3 , B x1 x3 x 2 x3 ;
4) A x1 x 2 x3 x1 , B x1 x3 ;
5) A x1 x3 x 2 x3 , B x1 x 2 x3 ;
6) A x1 x 2 , B x1 x3 x 2 x3 x1 x3 x 2 x3 .

44
6.

F { f1 , f 2 , ...} ,
F , . .
F .
F P2 ,
F . F
F .
F , F F .
F , F P2 .
f ( x1, x2 ,, xn ) 0,
f 0 , 0 ,...,0 0 . , 0,
T0 .
f ( x1, x2 ,, xn ) 1,
f 1,1,...,1 1. , 1,
T1 .
f ( x1 ,...,xn ) ,
, .. f ( x1 ,...,xn ) f ( x1 ,...,x n ) .
,
.
S .
.
f ( x1,...,xn )
x x .
~
~ (1, 2 , n ) , (1 , 2 ,, n ) , , i i
i 1, 2, , n , , ~ ( , , )
1 2 n
~ ~ ~
(1 , 2 ,, n ) , ~ . ~
~ ~ ~
: ~ ~ , ~

45
~
. , ~ .
~ ~
f ( x ,...,x ) , ~ , , ~
1 n
~
: f (~ ) f ( ) .
M .
.
f ( x1,..., xn ) 0, 1 x
x .
f ( x1 , x2 ,, xn ) ,
, . .
i 0, 1 (i 0,1,, n) ,
f ( x1, x2 ,, xn ) = 0 1x1 2 x2 n xn .
L .
. f ( ~
xn)
0, 1
x1, x1, x2 , x2 , , ,
x1x2 .
. F
, :
T0 , T1 , S , M , L .
F P2 ,
, . . 1) F P2 ; 2) f F F \ f P2 .
f ~
x n ( n
), , . . P2 .

6.1. , x1, x2
F :

1) F x ; 2) F x1 x2;

3) F 0, x; 4) F x1 x2;
5) F x1x2 x2 x3 x1x3; 6) F x1 x2;
7) F x1x2 , x1 x2; 8) F x1x2 x2 x3 x1x3.

46
6.2. , f F , f F :
1) f x , F 0, x y;
2) f x y, F x y;
3) f x, F x y;
4) f x y z, F x y;
5) f 0, F xy z;
6) f x,
F xy ;
7) f x y, F x y .
6.3. , F :
1) F x1 x2 ; 2) F x1 x2 ;
3) F x1 x2 , x1 x2 x3 ; 4) F x1x2 x3 , ( x1 x2 ) x3;
5) F x, x1 x2 ; 6) F x1x2 x3 , x1 x2 , x1 x3.

6.4. , :
1) 0; 2) 1; 3) .

6.5. , :
1) 0; 2) 1; 3) .

6.6. , n f ( ~
x n ) :
1) f (~
x n ) = x1 x2 ... xn ;
n1
2) f ( x ) = xi xi 1 xn x1 ;
~ n
i 1
3) f (~xn) = x x ;i j
1i j n

4) f (~
xn) = xi x j ;
1i j n

5) x n ) =1 x1 x2 x2 x3 ...xn x1 ;
f (~
n2
6) x n ) = xi xi 1 xi 2 ;
f (~
i 1

47
n2
7) x n ) = xi xi 1 xi 2 .
f (~
i 1

6.7. , 0,
1.

6.8. , , 0,
,
, 0, . . x 1.

6.9. , , 1,
,
, 1, . . x 0.

6.10. ,
.

6.11. ~ f 0 1 ,
:
1) ~ f 01 0 0 11 0 1 ;
2) ~ 01 11 01 10 ;
f
3) ~ f 11 0 0 01 10 .

6.12. , f, .
,
x , x , :
1) ~ f 011010 01 ; 2) ~ f 011110 01 ;
3) ~ 10110110 ;
f 4) ~ 101010 0 0 .
f

6.13. , f .
,
x , x , .
1) f x y ; 2) f x y y ;
3) f x y x z y z ; 4) f x y z 1;
5) f x y z ; 6) f x y z x y ;

48
7) f x y y z x z y z ; 8) f ( x y) ( y z) ( z x) z ;
9) f x y z x y x z y z ;
10) f x y z x y z .

6.14.
?

6.15. , f , .
,
x .
1) ~ f 011010 01 ; 2) ~ f 01010111 ;
3) ~ 0 011 011 0 ;
f 4) ~ f 0 0 01 0 011 .

6.16. , f . ,
, x .
1) f x y z ; 2) f xz y ;
3) f x y z ;
4) f x y x z ;
5) f x y y z x z x ; 6) f x y z x y ;

7) f x z y z .

6.17. , f :
1) f x y x y ;
2) f x y x ;
3) f x y z x y z x y z x y z x y z ;
4) f x y x y ;
5) f x y y z z x .

6.18. , ~ f
0 1:
1) ~ f 0 ; 2) ~ f ;
3) ~ 0 0 ;
f 4) ~ f 10 ;
5) ~ f 0 0 ; 6) ~ 1 0 ;
f
7) ~ f 0 1 .

49
6.19. f M S , ~ f
0 1:
1) ~ f ; 2) ~ f 0 ;
3) ~ 1 ;
f 4) ~ f 0 0 0 ;
5) ~ f 01 0 .

6.20. n 1 f ~
x n :
1) f ~
x n x1 x2 ... xn ;
2) f ~ 1i jn i j
xn x x ;

3) f ~
x n x1x2...xn x1 x2 ... xn .

6.21. , , , .

6.22. , , (),
().

6.23. , f , ( f f )
, f M S .

6.24. f ( ~
x n ) ,
(n = 1, 2, 3, 4).

6.25. ?

6.26. , f, :
1) ~ f 10 01 ; 2) ~ f 1101 ;
3) ~ 10 010110 ;
f 4) ~ 110 0 0 011 ;
f
5) ~ f 011010 01 ; 6) ~ f 1010 0110 ;
7) ~ f 0110 10 01 0110 10 01 ; 8) ~ f 011110111111110 0 ;
9) ~ 1010 010110 01110 0 .
f 10) ~ 1110 10 0110 01 0111 .
f

6.27. ,
f x y :

50
1) f x y ; 2) f x y y z z x ;

3) f x y x y z x y z ; 4) f x y z ;
5) f x y y z z x ; 6) ~ 1110 10 0 0 ;
f


7) f x1 x2 x4 x1 x2 x3 x4 ;
8) f x1 x2 x3 x4 x1x2 x3 x4 x1x2 x3 x4 x1x2 x3 x4 x1x2 .

6.28. ~ f 0 1 ,
f. f
.
1) ~ f 10 1 ; 2) ~ f 0 11 ;
3) ~ f 0 01 1 ; 4) ~ f 1 10 1 ;
5) ~ 0 1 0 0 ;
f 6) ~ 11 0 1 ;
f
7) ~ f 10 0 1 110 ;
8) ~ f 1 0 110 .

6.29. f ( ~
x n ) , :
1) A T0 T1 ; 2) A L T1 ;
3) A (T0 T1) L ; 4) A S T1 ;
5) A S T1 L ; 6) A T1 L S ;
7) A (S L) T0 ; 8) A T0 L S .

6.30. , L T0 T1 L S T0 L S T1 L S T0 T1 .

6.31. , L T1 T0 S .

6.32. , A :
1) A LT1 (T0 S ) ;
2) A LT0 (T1 S ) ;
3) A LS (T1 T0 ) .

6.33. f (~
xn)
, :
1) f L T1S ; 2) f S T1 ;

51
3) f T1 T0 ; 4) f T1 T0 ;
5) f T0 T1; 6) f T1 T0 ;
7) f S T0 ; 8) f T1 T0 .

6.34. ,
T0 , T1, L.

6.35. , . ,
, . .
, .
1) x y z , x( y z ) , xy yz ;
2) ( xy xz ) yz , x y , x xy , x y ;
3) xy xz yz , xy z , ( xy xz ) y z ;
4) xy xz , xy z , x y ;
5) x z x y y z , ( x y x z ) y z , x y z x z ;
6) x xz , x z x y , x y , x y ;
7) x y , x y , x y , 0 .

6.36. , A ,
:
1) A f1 0110, f 2 110 0 0 011 , f3 10 01 0110 ;
2) A f1 0111, f 2 01011010 , f3 01111111 ;
3) A f1 0111 , f 2 10 01 0110 ;
4) A f1 0101, f 2 1110 10 0 0 , f3 0110 10 01 ;
5) A f1 10 01 , f 2 1110 10 0 0 ;
6) A f1 11 , f 2 0111 , f3 0 011 0111 ;
7) A f1 10 , f 2 0 011 0111 .

6.37. A :
1) A 1, x , x yx y , x y x y y z x z;
2) A 0, x y, x y, x y x z;
3) A 0, 1, x y z, x y x z y z, x y z, x y;

52
4) A x y, x y, x y z, x y, x y;
5) A x y x z, x , x y, 0, x y z.

6.38. F f ( ~
x n ), g ( ~
x n ) , :
1) f S M , g L S , f g 1 ;
2) f T0 L , g S , f g 1 ;
3) f T 0 T1 , g M T1 , f g 1 ;
4) f SL T0 , g M T0 , f g 1 ?

6.39. , A f , g , h ,
: f L T0 T1 , g M L , f g 1 , f h 1?

6.40. , , ,
.

6.41. , ,
.

6.42. .

6.43. , f T0 T1 S , f .

6.44. n ?

6.45. , f L S M , f ?

6.46. ,
1) f (T0 T1) S , f L M ;
2) f T0 T1 M , f ;
3) f T0 S M , f L T1 S M ;
4) f L S M , f .

6.47. , A?
, A.
1) A P2 (T0 T1 L S M ) ;
2) A (M T0 ) ( L S ) ;

53
3) A S M L M ;
4) A L T0 T1 S T0 T1 ;
5) A L T1 S M ;
6) A L T1 S T0 ;
7) A (M T0 ) (S L) .

6.48. f , g , h ,
. x , f , g , h ?

6.49. , :
1) T0 S T1 ; 2) T0T1L S ;
3) M T0 T1 ; 4) M T0 L ;
5) M S T0 ; 6) L T0 T1 S .

6.50. , U P2 ( ),
T0 , T1 , S, M, L
, . 3 .
T0 T0
T1 T1 T1 T1
L M
M
M
L
M
S S S S S S S S
. 3. 6.50

6.51. f ~
x n , A :
1) A LS ; 2) A LS M ;
3) A LST0 ; 4) A LST0 T1 ;
5) A M LST0 ; 6) A M LST0 T1 ;
7) A LS T0 T1 ; 8) A LST0 T1 ;
9) A L ST0 T1 ; 10) A LT0 T1 .

54
6.52. , f g g f ?

1) f x y , g xy ; 2) f x y , g x y ;

3) f x y , g xy ; 4) f x y , g x y ;

5) f x y , g xy z ; 6) f x y , g xy z ;

7) f x y , g xy z ; 8) f x y , g x ;
9) f x y , g xy xz yz ;
10) f x y , g xy xz yz .

55
7.

B b1, b2 ,..., bn - .
B B .
. | | .
, .
. 0.
B B .
B* , B ,
.
L B - , A 0,1,..., q 1, q 2 , -
. f v :
b1 v1 ,
b v ,
2 2

. . . .
bn vn ,

vi A - , bi B ( i 1, n ).
bi1 bi2 ... bim ,
:
f v ( bi1 bi2 ...bim ) f v ( bi1 ) f v (bi2 ) ... f v (bim ) vi1 vi2 ...vim .
f v V v1 , v2 ,..., vn ,

vi (i 1, n) .
d V d1 , d 2 ,..., d n , d i vi i 1, n -
vi , V .
, ,

56
f v . V ,
.
1 2 , 1 ,
2 .
() ,
.
f v ,
i j (1 i, j n, i j ) vi v j .
, ,
.
, . . ,
,
.

.
V q -
di | vi | (i 1, n)
n
-: q di 1.
i 1
-
, .
d1, d 2 , , d n
n
- q di 1 , V v1 , v2 ,..., vn
i 1

q - d V d1 , d 2 ,..., d n .
V q -
d V d1 , d 2 ,..., d n
.

57
P p1, p2 , , pn ( pi 0,
n
pi 1) B b1, b2 ,..., bn .
i 1
n
C (V , P) pi | vi | (
i 1
) V v1 , v2 ,..., vn P .
V
,
V .
V o ,
C (V O , P) inf C (V , P) .
V

7.1. B b1, b2 , b3 , b4 , b5 - ,
V 10,12, 012 ,101, 2100 A 0,1, 2. ,
.
, .
1) =10120121012100; 2) =1012101201210012;
3) =0121001210201; 4) =120120121001210;
5) =1010122100; 6) =12101210012;
7) =101212101012; 8) =1010012100101.

7.2. , V :
1) V = {0, 10, 11, 1110};
2) V = {01, 11, 10, 001};
3) V = {1001, 000, 001, 0110, 010, 1000, 0111};
4) V = {110, 011, 1011, 0100, 11011};
5) V = {02, 2, 11, 012, 102, 011, 0121};
6) V = {12, 22, 0011, 101, 0100, 20, 2100};
n
7) V = {0, 10, , 1 0 , };

58
n
8) V = {0, 10, , 10 , }.

7.3. , :
111,
10101 ,

010 ,

001,
000 ,

110
. -
? , ,
1) ;
2) ;
3) 110001000010;
4) 10101000001000110;
5) 01000000100010101111.

7.4. B A
, B
:
1) A = {1, 5, 6, 7, 12, 13, 17};
2) A = {1, 3, 6, 8, 10, 13, 19, 33, 37};
3) A = {2, 6, 7, 9, 12, 15, 18, 35, 36, 37};
4) A = {2, 3, 7, 8, 11, 12, 13, 14};
5) A = {1, 2, 5, 8, 9, 10, 13, 15};
6) A = {3, 5, 6, 9, 10, 13, 17};
7) A = {1, 2, 5, 8, 9, 12, 13, 14};
8) A = {5, 6, 7, 8, 9, 10, 11, 12, 13};
9) A = {4, 6, 7, 10, 13, 15, 20, 23, 25};
10) A = {5, 7, 9, 10, 12, 14, 17, 23, 24}.

7.5. - , L

:

59
1) L = {1, 2, 2, 3}; 2) L = {2, 2, 2, 4, 4, 4}; 3) L = {1, 2, 4, 4, 4, 4};
4) L = {2, 2, 3, 4, 4}; 5) L = {1, 2, 3, 4, 4, 5}.

7.6.
:
1) L = {1, 2, 3, 3}; 2) L = {1, 2, 4, 4, 4, 4};
3) L = {2, 2, 3, 3, 4, 4, 4, 4}; 4) L = {2, 2, 2, 4, 4, 4};
5) L = {2, 2, 3, 4, 4}; 6) L = {2, 3, 3, 3, 3, 4, 4};
7) L = {1, 3, 3, 4, 4, 4, 4}; 8) L = {1, 2, 3, 4, 5, 6, 6};
9) L = {2, 2, 2, 4, 4, 5}; 10) L = {2, 3, 4, 5, 5, 5, 5}.

7.7. P
:
1) P = (0,2; 0,4; 0,2; 0,2);
2) P = (0,1; 0,1; 0,7; 0,1);
3) P = (0,2; 0,2; 0,2; 0,2; 0,2);
4) P = (0,08; 0,03; 0,09; 0,1; 0,5; 0,2);
5) P = (0,3; 0,4; 0,06; 0,08; 0,04; 0,04; 0,04; 0,04);
6) P = (0,3; 0,3; 0,03; 0,03; 0,03; 0,03; 0,03; 0,01; 0,2; 0,04);
7) P = (0,06; 0,06; 0,06; 0,06; 0,06; 0,3; 0,2; 0,1; 0,1);
8) P = (0,1; 0,2; 0,4; 0,05; 0,05; 0,05; 0,05; 0,05; 0,05);
9) P = (0,25; 0,15; 0,05; 0,1; 0,2; 0,1; 0,05);
10) P = (0,11; 0,08; 0,01; 015; 0,25; 0,21; 0,09; 0,1).

7.8. ,
P = (0,15; 0,25; 0,05; 0,01; 0,09; 0,25; 0,15; 0,05):
1) V = (001; 010; 10; 11; 101; 011; 0110; 00);
2) V = (0000, 001; 1001; 10010; 0111; 111, 0010, 1110);
3) V = (000; 001; 010; 011; 100; 101; 110; 111);
4) V = (100; 00; 11110; 11111; 1110; 01; 101; 110);
5) V = (000; 01; 1110; 11111; 110; 10; 001; 11110);
6) V = (000; 10; 0111; 01111; 011; 01; 100; 11111);
7) V = (01; 02; 10; 12; 20; 21; 22; 00).

60
7.9.
P A :
1) P = (0,2; 0,3; 0,2; 0,1; 0,2), A 0,1, 2;
2) P = (0,2; 0,1; 0,4; 0,1; 0,1; 0,1), A 0,1, 2;
3) P = (0,2; 0,1; 0,3; 0,1; 0,05; 0,1; 0,05; 0,1), A 0,1, 2;
4) P = (0,2; 0,1; 0,3; 0,1; 0,05; 0,1; 0,05; 0,1), A 0,1, 2,3;
5) P = (0,21; 0,17; 0,2; 0,12; 0,08; 0,16; 0,02; 0,04), A 0,1, 2,3;
6) P = (0,02; 0,08; 0,05; 0,15; 0,04; 0,16; 0,2; 0,13, 0,17), A 0,1, 2,3

61
8.

8.1.

1. :
1. A BC BC A B B.
2. A B A C B C .
3. A BC BC ABC ABC .
4. A B AB A C AC ABC .
5. AB AB C C A .
6. A ABC A BC BC ABC .
7. A B C A B C AB C .
8. A B U C U A B A C .
9. A BC AC B A BC AC B.
10.
A B C A A B AB A C .
11. A B A B A B.
12. ABC AB A C A B C C.
13. A B C A B C A A.
14. A B A B A B A B .
15. A B AB B .
16. A B C U A B C .
17. AC B B AC C C .
18. AC BC AC C BC C .
19. AC B B ABC ABC .
20. AC ABC AC BC BC ABC .
21. B C A B A.
22. C B CB A C C A C BA .
23. B ABC B AC AC ABC .

62
24.
ABC BC B A ABC .
25. C B U A U C B C A.
26. A B C B B A.
27. A B ( AC ABC ) A C B B.
28.
A B A B A B AB .


29. C B A U C B A .
30. AB C C ACB ABC .
2. U 1, 2, 3, 4, 5, 6, 7
A x x 4 , B 2, 4, 5, 6 , C 1, 3, 5, 6 , D {x | x
1}, E 1, 2, 6, 7 . :

1. A B D E ; A E D ; 2 AC 2 E ; C ABD .
2. AB; C D E E D; 2 D C 2 B C ; B AC .
3. A B E ; A C A B D ; 2 C D 2 A D ; ( A B ) A .

4. B E; CE D A B; 2 AD 2 B ; B C A .
5. A E D; B B C A ; 2 B C 2 C D ; ( B E ) BD .
6. E A C ; A B C C D; 2 A 2 B C ; B E AC .
7. D E A; B C B C E ; 2 B D 2 C D ; ( A E ) B .
8. B D E; A C A B; 2 A B 2 C ; (C D ) A B .
9. B A D C ; D A E C ; 2 D E 2 C ; ( A B ) D .
10. D BC ; C E D A B; 2 AB 2DC ; E AE
.

11. D B E ; B D C B D ; 2 D E 2 A D ; ( B C ) E .

12. D A; A B B D; 2 AD 2E ; CE D C .
13.
AC E ; D C AC B ; 2C E 2 B E ; ( A B ) C .

1
, ,
, .

63
14. D B E; B C A D E; 2 D 2 AC ; B
DC
.

15. D E A; C E A D E ) ; 2 E 2 C D ; ( B D ) C .
16. D B E; DE A C ; 2 A B 2 C ; D
CB
.

17. A B AD; B D C ; 2 BC 2 C E ; AD AE .
18. A E BD; BD B D AE ; 2 AC 2 B D ; AC D .
19. E B D AC ; AC E BD; 2 B 2 AC ; A D AC .
20. BD A BC ; AC BD BD; 2 A E 2 A BC ; AC AB .
21. AB ; D E E D; 2 D C 2 B C ; B AC .
22. A E ; CE D A B; 2 2 ; ( A C ) .
BD A B

23. B A C ; A B C C D; 2 2 ; B E
AD BC AC
.

24. A D E ; AC A B; 2 2 ; (C D )
AB C AB

25. B D E ; A C A B ; 2 2 ; (C D )
AB C AB
.

26. A BC ; C E D A B; 2 2 ; E .
AB DC AE

27. EB D AC ; A C E B D; 2 2 ; A D
B AC AC
.

A B E ; B C A D E ; 2 2 ; B .D AC DC
28.

A B E;
CB
29. D E A C ; 2 A B 2 CD ; A .

30. A E B D;
BA B D AD ; 2 A C 2 B D ; BC D .
3. :
A B C; A B C;

AD B C ; B C D D;
1. 2.
AB C D ; D C;
AC C B D . AD B C D.

64
BC A D ; A B C;
AB C D ;
B D A;
3. 4.
BD AC A C ; C D A B;
B A C. AB D.

A B C; A C D;

5. D A B C ; 6. A B C D ;

BC A D. AD B C .
X Y Z; B C D;

Y ZW W; A B C;
7. 8.
Z W; D C;
X W Y Z W.
AD B C D.
X Y Z; X Y Z;


9.
XW Y Z ; Y Z W ;
10.
XY Z W ; W Z;
XZ Z Y W . X W Y Z W .

CD A B ; C A D;
BC A D ;
D B C;
11. 12.
AC B D ; A B C D;
C B D. CD B.

W X Y; A B A C D;
B C D;
X Y Z;
14.
13.
ZW X Y Z ; C A D A;
Y Z. A D.

A B D; A C D;

15. AC B D ; 16. A B C D ;
D B.
AC D B .

65
A C D; Z X Y ;

D B C; Y X W ;
17. 18.
BD C ; X W;
ZW X Y W .
C D A B.
XY Z W ; AD B C ;

Y X Z; BD A C ;
19. 20.
X W Y Z; CD A B ;
Y W X Z X Z. D B C.

A B C; B A C;

B C D D; A D B;
21. 22.
D C; C D A B;
AB D.
A D B C D.
C A D; D C A;

23. C B A D ; 24. D B C A;
A B.
CD B A.
Y X Z; A C D;

X Z W ; D B A;
25. 26.
W Z; C B A D;
Y W X Z W . AD B.

A C A B D; C C D;
C B D;
A B C;
27. 28.
B A D A; D B;
A D.
AD B C D.
X Z Y; BD A C ;

Y Z W ; AD B C ;
29. 30.
Z W; CD A B ;
XW Z Y W . D A C.

66
4. , ,
. .
1. A B X AB . 2.
A B X AB A B X .
3. A BX X . 4. A BX B U .
5. AX B A B . 6. A BX A B .
7. A X B AX . 8. BX A BX A .
9. A X X AB . 10. B X X B A .
11. A X B B X . 12. AX B B X .
13. BX A B X . 14. A X BX A .

15. X A B X A . 16. AX X A B .
17. A B X A X . 18. B AX B X .
19. A B X A B . 20. A X B A B .
21. A BX A B A B X . 22. B A X A U .
23. B AX A B . 24. ABX AX B .
25. BX A BX A . 26. A X X A B .
27. BX A A X . 28. X X B A .
29. A BX A X . 30. B X A BA .
5. .
, .
.
A X AC, A X C,

1. B X B C , 2. B X C ,
C X A B .
BX A X C .
X B B C, AX B ,

3. X A A C , 4. B X C ,
X C B C.
C X A B .

AX B X C , A X B,
5. 6.

BX A X C . B X .

67

7.

A X B X C X , A B X A,
8.

B X C A X . A B X .
A X X B, A X B X ,
9. 10.
A X C. A X C X .
A X B, A X B,
11. 12.
B X C. BX C X A .
A B X , A X C,
13. 14.
A B X . B X A.

A X X C,
B X A X ,
15. 16.

A X B.
A X C X .

AX X B , A X B,
17. 18.

BX C X A. B X .
X X B ,
A X C X ,
19. 20.
A X B.
A X B X .
X A, AX C ,

21. B X A, 22. B X A,

BX C X A. C X A B .
B X A, C B X C ,
23. 24.
A X . A C B X .
C X B X , X B ,
25. 26.
CX A X . AC BX A X .
B X C, A X B X ,
27. 28.
B A X . B X C X .
A B X ,
C X A X ,
29. 30.
A X .
C X B X .

6. :

68
A B C;
C B A D;
A B;
1.
C A D B; B C B D.
AC B ;
W Z;

Y ZW; Y X;
2.
X Y Z; X Z W.
XW YZW ;

A B D; A B;

3. AC D; A C;
C A B;
D B.
A D B C D;

C D; C A D;
4.
CD B ; B A B C.
A B C;

Y ZW ;
X Z Y Z;
XW YZW ;
5. Y ZW ;
X Y Z;
Z W; W Z.

A B D;
A B;
AC D ;
6. A C;
C A B; D .
B D;

AD BCD ; A C;

7. A B C D; A B;
B D;
C D.
Y ZW ;
X Y;
XW YZW ;
8. X Z;
X Y Z; W .
W Z;

69
A B D;
A B;
AC D ;
9. A C;
C A B;
B D; A D.

X Z Y W;
X W;
10. XW YZ YW ;
X W; Y Z.

B C A;
A B C D;
B C;
11.
A C D B; B A B D.
AC B ;
X Z;

Y W;
12. Y X Z ;
W Y Z; X Z W.
XW X Y Z ;

B D A; B D;

13. A CD ; C D;
C B D;
A B.
ACD BD ;

C D; C B D;
14.
A C D; A B A C.
A C B;

YZ W ;
XY YZW ; X Z Z W ;
15.


YZ W ;
X Z W ;
Z Y ; Y Z.

A C D;
A C;
AB D ;
16. A B;
B A C; D .
C D;

70
AC B C D ; A D;

17. A B C D ; A B;

B C; C D.
X Z W ;
X Y;
X ZW YW ;
18. Y Z;
Y X Z; W .
W Z;

A B C;
A B;
AD C ;
19. A D;
D A B;
B C; A C.

X Z Y W;
X Y;
20. X Y Z W YW ;
Z W ; Z W .

W X;

Y XW; Y Z;
21.
Z Y X; X Z W.
ZW YXW ;

C D B A D;

A D; A C D;
22.
AD B ; B C B A.
C B A;

D B A;
D B;
A DC ;
23. D C;
C D B; A .
B A;

71
ZW X
X Y;
ZXW YW ;
24. Y Z;
Y X Z; W .
W Z;

Y Z X W;
Y W;
25. YW XZ XW ;
Y W; X Z.

D C A;
D C;
DB A;
26. D B;
B D C; A .
C A;

Y Z W ;
X Y;
Y ZW XW ;
27. Z X;
X Y Z; W .
W Z;

Y Z;

X YZ; X W;
28.
W X Z; Y Z W.
YW X Y Z ;

BCD AD ;

C D; C A D;
29.
B C D; B A B C.
B C A;

X Z Y W;
X Y;
30. X Y Z W Y W ;
Z W ; Z W .

72
8.2.

1. U n .
A, B, C ,
:
1) n 7, | A B | 1 , | B ( A C ) | 4 ;
2) n 9, | ( A B ) C | 2 , | A ( B C ) | 5 ;
3) n 8, | A B | 6 , | A ( B C ) | 5 ;
4) n 7, | A B C | 5 , | A B | 4 ;
5) n 6, | A B | 3 , | B ( A C ) | 2 ;
6) n 7, | A ( B C ) | 2 , | ( B C ) A | 1 ;
7) n 9, | ( A B ) C | 8 , | A ( B C ) | 1 ;
8) n 7, | A B | 2 , | C ( A B ) | 1 ;
9) n 9, | A ( B C ) | 6 , | C ( A B ) | 2 ;
10) n 8, | ( A B ) C | 6 , | C ( A B ) | 4 ;
11) n 8, | A B | 2 , | A B C | 4 ;
12) n 7, | ( A B ) C | 1 , | B ( A C ) | 3 ;
13) n 7, | A B | 5 , | A B C | 3 ;
14) n 8, | A B | 6 , | ( B C ) A | 1 ;
15) n 5, | ( A B ) C | 3 , | C ( A B ) | 1 ;
16) n 6, | A B | 4 , | ( A B ) C | 1 ;
17) n 8, | A ( B C ) | 5 , | ( B C ) A | 1 ;
18) n 7, | ( A B ) C | 4 , | C ( A B ) | 1;
19) n 9, | A B | 3 , | ( B C ) A | 5 ;
20) n 6, | A B | 3 , | B ( A C ) | 2 ;
21) n 7, | ( A B ) C | 6 , | C ( A B ) | 3 ;
22) n 8, | A ( B C ) | 5 , | B ( A C ) | 2 ;
23) n 7, | ( A B ) C | 6 , | A ( B C ) | 3 ;
24) n 9, | A B | 4 , | A ( B C ) | 4 ;
25) n 7, | A B | 5 , | ( A C ) B | 1;
26) n 6, | ( A B ) C | 4 , | ( A C ) B | 2 ;
27) n 8, | A B C | 4 , | ( A B ) C | 1 ;

73
28) n 8, | A B | 5 , | C ( A B ) | 2 ;
29) n 8, | ( A B ) C | 7 , | C B | 6 ;
30) n 7, | A B C | 3 , | A ( B C ) | 2 ?

2. S ,
T . A
, N , F . AN ,
AF , NF , ANF
.
.
S A N F AN AF NF ANF T
1. 17 11 6 5 4 3 2 1 ?
2. 16 ? 9 7 4 4 5 2 3
3. 17 8 10 ? 6 4 4 3 5
4. 20 11 8 5 7 3 4 ? 7
5. ? 10 7 4 5 4 3 3 5
6. 17 12 9 7 8 ? 5 4 3
7. 21 11 ? 6 6 5 3 2 5
8. 26 14 11 5 ? 4 3 2 6
9. 19 13 9 5 5 3 3 1 ?
10. 17 ? 9 6 6 4 4 2 2
11. 16 12 9 ? 6 4 3 3 1
12. 17 13 6 4 6 3 2 ? 3
13. ? 14 9 7 7 5 3 2 1
14. 18 15 8 6 7 ? 4 3 2
15. 20 12 ? 8 5 5 3 1 4
16. 23 14 8 7 ? 4 4 2 5
17. 23 15 8 9 3 4 5 2 ?
18. ? 14 7 8 4 5 4 3 1
19. 20 ? 9 6 4 3 2 1 2

74
20. 25 11 14 10 6 4 ? 2 3
21. 27 17 13 ? 9 6 5 4 4
22. 30 18 14 9 9 5 4 ? 4
23. 26 15 13 11 8 ? 5 3 2
24. 28 17 ? 10 11 5 7 4 4
25. 30 19 16 12 ? 8 7 5 3
26. 35 20 16 15 10 8 9 6 ?
27. ? 20 17 13 8 5 4 1 5
28. 39 ? 17 13 8 5 6 2 4
29. 37 22 16 ? 8 5 4 3 2
30. 33 19 18 11 9 ? 7 2 3

3. a1 , a2 ,, aq . ni
a i .
n, .
1. q 3, n 9, n1 6 ;
2. q 4, n 7, n1 2 n 2 ;
3. q 4, n 7, n1 n2 n3 n4 ;
4. q 5, n 8, n1 n2 n3 n4 ;
5. q 3, n 9, n1 2, n 2 n3 ;
6. q 5, n 7, n1 n2 3, n3 2 ;
7. q 3, n 7, n1 n2 ;
8. q 3, n 10, n1 n2 n3 ;
9. q 3, n 7, n1 n2 n3 ;
10. q 4, n 6, n1 n2 n3 ;
11. q 4, n 5, n1 n2 ;
12. q 3, n 8, n1 n 2 6 ;
13. q 3, n 8, 2 n1 6 ;
14. q 3, n 6, n1 n2 n3 ;

75
15. q 4, n 7, n1 2, n2 n3 4 ;
16. q 5, n 8, n1 4, n2 3 ;
17. q 4, n 6, n1 n2 n3 n4 ;
18. q 4, n 8, n1 n2 3, n3 2 ;
19. q 4, n 9, n1 n2 2 ;
20. q 5, n 6, n1 n2 ;
21. q 5, n 6, n1 n2 n3 n4 ;
22. q 4, n 8, n1 2, n2 3 ;
23. q 5, n 7, n1 2, n2 n3 n4 3 ;
24. q 4, n 8, n1 n2 4, n3 1;
25. q 5, n 7, n1 n2 n3 ;
26. q 4, n 7, n1 n 2 4 ;
27. q 5, n 6, n1 n2 n3 n4 n5 ;
28. q 5, n 7, n1 n 2 n3 n4 4 ;
29. q 4, n 8, 2 n1 n2 6 ;
30. q 3, n 9, n1 n2 n3 .

4. :
1. , ;
2. , ;
3. , ;
4. , ;
5. , ;
6. , ;
7. , ;
8. , ;
9. , ;
10. , ;
11. , ;
12. , ;
13. , ;
14. , ;
15. , ;

76
16. , ;
17. , ;
18. , ;
19. , ;
20. , ;
21. , ;
22. , ;
23. , ;
24. , ;
25. , ;
26. , ;
27. , ;
28. , ;
29. , ;
30. , ?

77

1. .., .., ..
. , , 2007.
48 .
2. .., .. . .
. : - , 2005. 307 .
3. .. . : . .
"", 2004. 960 .
4. .., ..
. .: , 2006. 416 .
5. .., .., .., ..
. .: , 1990. 384 .
6. .., ..
: . :
, 2008. 64 .
7. .., ..
: - . :
, 2008. 57 .
8. . . . .: , 1982. 192 .
9. .. . .: , 2000.
384 .

78

1. .. 3
2. .. 10
3. .. 15
4. .. 24
5. 36
6. . 45
7. .. 56
8. .. 62
8.1. ..... 62
8.2. .... 73
.... 78

79


80