. 5.1. . , . , , , , , .
. | 5.1. . , . |
( , ) . , ( , ), , , , , , , . , ( , ) , .
()
. , . | .5,2 |
. , - , .5.3. , - . , .5.3 , .5.1 .
" ", , .5.2, . , . ... , , .
.5.3. | . 2. . |
7. - , .
, -.
X Y, 1, 2, 3, 4) (. 2.6). , , . -. - .
. - . .
|
|
, , , , (. 1).
. 1 QD Y. : Y QDx. , .
. 16 (Ly>l) . , Y'. Y', Y QDx Y, .
. 1 : , Y", , , , QD .
2.7
. , . . . .
: , .
8. - .
- , (. 2.19).
- , (. 2.19).
1 2 . X, . . - E1 - E2. -, , . X Y P X.
, , - , .
- ( . 2.19). 1 X 1 X2 2, D.
. . 2.19 ; P X - Y . Y X , . X, Y X ; P X Y ; . , Y P X (X Y ),
|
|
. 2.20 , . . , , . .
1