Q1=T+Tx+(T+Tx)y.
Y . , X, Y, 67
Q- -:
(Q1)=A+B+BA.
.
Q2 =++{+)+[++(+}]z.
. Y X,
>.
Z X, Y,
Txz>, (+)z>(+),
.. Y, Y X. , Z . Z Q2 -:
(Q2)=++++++.
.
.
Q3=T+(T+Tx)y+(T+Ty)x.
X, Y :
>,
>.
, Q -
(Q)=+++.
.
Q4=T+Tyx+Txy.
, . Y , . , Y, Y , X. X . , Y , Y , , .. Q4
>,
>.
,
(Q4)==A+B.
,
Q5=+(+).
, . , . , Q5 -
T(Qs)=B.
, , , - .
,
Q=T+Tx+(T+Tx+Txy)y+Txyz
, Z Y
z > ,
, Y, ..
|
|
>.
, , . . .
, Q , , (0). Q. , a1a2...ak+1 a1a2... ak, ai .
. 38.
Q , , ; , , (. 38).
, . , , . . a b. , a b . b, , . , , . , . . , , . + , +, . (Q).
, . - Q-.
Q, ,
Q=T+Q'x+Qy.
(Q), X, Y (Q'), (Q). , Q ,
(Q)=(Q')=(Q).
Q=T+(Ty+Tyx)x+(T+Ty2+Ty2x)y.
V. ,
. , .
. , . , , , , , .
, . , , , , . , : , . , . , , . , .
|
|
, [18] , , , -, , , .