, , . , .
, .
(. 2.14.3), PI , PO , .
.
2.14.3
PI | a | b | S | PO |
, S PO .
S = PI* a* b v PI* a b* v PI a* b* v PI a b
PO = PI* a b v PI a* b v PI a b* v PI a b
. :
PO = a b v PI b v PI a
2.14.4. .
. 2.14.4
, . PI 4- , PO , S0, S1, S2, S3 .
2.14.5.
. 2.14.5. .
4- . , . , . t , n- T = nt.
.
, :
G H .
GI = aibi
HI = ai + bi
ai=bi=1, Gi=1 i- Pi+1 .
|
|
ai bi 1, HI=1 .
Hi=Hi1=1 Pi i- , i+2 .
:
PI+1 = GI + HIGI1 + HIHI1GI2 + + HIHI1H2H1P1
- .