. , , , .
, , .
.
. , , : , , , , , . .
, , X Y, (= ), : X ( , , , ,...) Y, , Y (= , , , ,...) X, X Y (= , , , ,...).
, , , .
. . : ABC DEF, DEF ABC ABC DEF , ( ).
, (X Y = Y X = Y P) .
, , . : Y ( ) X Y, Y X. , . , :
, * , , ( ) .
, : , , , , . , , ; : .
|
|
: , , , , : ( : * : }.
, (7), "", , , , (X), . :
(X)?
. ?
! , , ,
(Y).
"" : ( ).
X Y : Y , - , , , X , .
(). , , . , . : , X Y , , , , .
() : 7 (, X ) " ", X (, 7). :
. . .
. = . , " " , .
. . , , .
, : "" , ( ).
, () , (, ), , () , . (). , () ( ) : , .
|
|
, , - , . . , " ". , , , , , , , , .
; . :
.
, : , , , . , , , , . .
, , , .