, , . , , , X = Yb, .. X Y .
. . . , , . . , . , . , .
:
1) ;
2) ;
3) .
. , .
, .
. , . () : , , , . , , . , , .
, : . , . .
.
, ( ) .
.
, .
, .
, , .
. , .
|
|
.
. , .. , .
.
, . , .. , .
, . D.
, , :
D = P? Q,
;
Q .
. , , . , (DD). , . , , , .. , , . . , , .
:
1) ;
2) ;
3) ( ), .
, , , . , . , , .
.
, , , . , , .
, ( ) ( ).