- - .
. . , .
, - . , .
, , , .
() . .
, .
. , . , . , .
, . (Q), (P), , (S) (. 10.1). , , , , .
S Q |
. 10.1.
. :
D = D + D ,
D ; D ; D .
PQ D . , ( ) .
D D D + D Q |
. 10.2.
. , .. , .
|
|
. , , .. , , , , . .
, , . . D (. 10.2).