- (.4.5) . , , . . () . . . .
.4.5. -
, . , . , , .
4.2. : ,
: - ().
. , . , .
, , , , . .
. , , : , .
.
(.4.6). , , .
.4.6.
EN 1. , , . , , 0 . 1. , , , 7 , 8 .
|
|
. EN , ( .7 ) , .
.
, , . , . , . n 2n, .
.7, 0-3, a0a1 .
, , , , , ( ) , . , .4.7,. .4.7,.
.4.7. : - ; -
4.3. : , :
.
. , , . , .
. , ; , . , , .4.8.
.
.
.4.8.
(.4.1) A . , S ( ) ( ) B:
; (4.1)
=A. (4.2)
4.1
(S) | (P) | |||||||
|
|
(4.1) ( ), , (4.2) . , . (4.1), (4.2) . S , 0.
.
. =, .
=A , .4.9,. , , (4.1), (4.2). .4.9,.
.4.9. : ) ; )
, , .
.
: . (.4.10,) , .
. . . , , . .4.10,.
.4.10. (),
()
, , , . (.4.11) RG1 RG2 . 0 , . . RG3 D, + . =0, , . , .
.4.11.
.
( ). . , . .1 . (=), >, <.
, . .
, , . , (), ( ) . .4.12 . .
|
|
.4.12.
.
.4.2 , . .1, . , =1, b=1 ( ), , , Fa=b=1, , , Fa>b=0 Fa<b=0.
4.2
A | B | Fa>b | Fa=b | Fa<b |
. .4.2 , :
; ; .
b , 1, , , . 0, .
, , .4.13.
.414 . 4- >, = <. . 1: , .
.4.13.
2 , . . 1 .
.4.14.
1. .
2. .
3. . .
4. . .
5. - .
6. .
7. . .
8. .
9. .
10. .
11. .
12.. .