: :
1) - , ;
; ; ; ; ;
; ; .
< ; < ; < ; ç< ; < ; < ; < ; ; < ; < ; <
< ; < ; ?
2) ( 1) , ( ) .
1. .. , /, , , , .9, , 1988.
2. .. , , ., 1962.
3. . , , , ., 1965.
4. .. // , , ., 1977.
5. ., .. , л, ., 1966.
. [5, . 246].
: A, B, C, D, E, F, :
A < B B ç< C C < D E < D F < D
A < D B < D F < E
AF BE
BF
, ( ) , : .
A B C D E F
A | ||||||
B | ||||||
C | ||||||
D | ||||||
E | ||||||
F |
, . , . D, - . .4.6.
B
C
A
D
F
E
.4.6. , .
D 1 D . D 0 1, .
, .. 1, , , 0, - .
|
|
. D ¢:
A B C E F
1 n m n m .
, n m , . n m , , . :
) 1 * 0 = 0; ) 1 * 1 = 1; ) 0 * 1 = 0; ) 0 * 0 = 0; ) 1 * 1 = 1.
, . , , , , .. , 2. F - .
, , ¢ , (¢)2 . .
Å | Å | ||
, :
0 Å 1 Å 0 Å 0 Å 1 = 1
(¢)2 (¢)2:
A B C E F
A | |||||
B | |||||
C | |||||
E | |||||
F |
, 1 2, 0 . , , , .
(¢¢)2: A B E F
A | ||||
B | ||||
E | ||||
F |
, 2, 3, (¢¢)3:
A B E F
A | ||||
B | ||||
E | ||||
F |
|
|
(¢¢)3 , 3 , B, E, F, . , , n, :
(¢¢)n+1 = (¢¢)n
, , n. , :
FEBCD.
.
, , - , - , - , - , - .. :
< - ; < ; < ; |< ; < ; < ; < ; < ..
:
- , " ".
- 3- , .
- - - ?
- n .
- ?
- n - ?