1.:
() , (S).
2. 
:
() . . (S).
1 2 . :
3. , . . , (S).
.
4. , . , . (S).
5. , . , (S).
6. . , , .
7. , . , .
. , , . , , , . (-, .).
, ( Fi - ; Ii - , , ; Ii , ):
1) . , , . . , - , . , , . , , , (.. ). .
|
|
|
2) (.. ). , , , . , , , . .
3) . , , . .
, , . , :
 |
(I ~ I), (I Û I) :
4) (.. ) P(I) > P(I), , P(I) < P(I). (.. ). .
5) O(I) < O(I). . O(I) > O(I), .
6) ( ). R(I) > R(I), . R(I) < R(I), .
7) (I) ¹ (I). .
8) . (I) > (I), , .. . (I) < (I), . ,
|
|
|
9) . I(/) < I(/), ,
. , :
10) , , .. I > SIi, I = SIi + I. . . : F1 ( ); F2 , , .
11) I > SIi + I, .. , (, , .). .
, , :
12) , , .
13) , .
, , . , , .
. ( , ..):
. :
. , , :
!
