, (.. ), .
, - : P(P) Q(Q). (.1)
.
PQ , .. . , , PQ(.1):
=P Q B M
, , , , .. .
. (.. ), .
, PQR, P(P), Q(Q), R(R) (.2), , .. .
, , PQR(.2):
PM QR=N
B N Q R =N
P N B M=M
, , , , .. .
, , , .
, , (, , ) , . , . , , :
1) .
2) .
.
PQR(P Q R) KL(K L) (.3). .
B KL K L - . , B KL PR, QR PQR. P R, Q R B KL, R L. , ,
F, G , K L P R, R Q P Q R.
F G, FG PQR
B KL. FG KL B KL,
(). () KL(K L)
PQR(P Q R).
. , KLN(K L N)
PQR(P Q R).
S KL PQR :
S=PQR KL
LN PQR:
T=PQR LN
ST (S T) , .
, , , .. . , , , .