( ).
( ) , [1]. , , , , , .
B, :
B = { , }
, , , (), () () . [ ], B .
1. : x y = y x, {&, }.
2. : x x = x, {&, }.
3. : (x y) z = x (y z), {&, }.
4. , :
,
,
.
5. ́:
,
.
6. :
,
.
7. (1):
.
.
.
.
, , .
8. (2):
.
.
.
.
9. (3) ( ́):
.
.
: , , - -
, |, - :
X | Y | X|Y |
, X | Y , X Y , .. . .
, , . . ,
1
, ↓, - :
X | Y | X ↓ Y |
, X ↓ Y X, Y. .
, , . , , , , :
|
|