. : .
(, , ) , . , . , , .
, .. , , ( ) , .
, , , . , , , .
, R, S, T U, , :
- (((R S) T) U);
- (R (S (T U)));
- ((R S) (T U)).
: ((R (S T)) U) (R ((S T) U)).
, , , 4!=24 ( n ) .
, .
, .
( ).
, , :
1) , , , ;
2) ( ), , .
- , , .
|
|
, .
, n - , . n , n! , , .
n :
: i 1 n-1 . , i . (n-i) T(n-i) .
:
.
, , , , . , .
, . :
1) , , , , , ;
2) , -, .
,
(((R S) T) U) , R ,
1. (R S) R , (R S) . B(R)+B(R S).
2. (R S) T), R (R S) T).
3. (((R S) T) U) , (R S) .
, , , , .
(R (S (T U))). :
1. R, .. .
2. (S (T U). S.
3. (T U). T.
|
|
, R, S T, .. n n-1 -.