, , - . . : 1) ; 2) ; 3) .
, - n . (2n) , . 2 3.
:
. , α(A1, A2, , An) , , α , 㳺.
. , α(A1, A2,, An) , .
. ), ), , α .
1.5.1.
α = ((A Þ B) ÞA) ÞA.
. , α . , . α . , (AÞB)ÞA , . , AÞB , , . , α 㳺.
, . () ().
.
1.5.1. () () , .
, , , .
1.5.2. , , , , , .
, (, ) , (-
).
1.5.3. (-) () ().
|
|
, , . , .
1.5.4. () , () () .
.
. :
1. .
2. .
3. .
1.5.2. α = .
.. - .
- .
, .
1.5.5. , , .
1.5.1. { , , }, { , }, { , }, { , Þ} .
. α β :
,
, 1.5.1 { , , }, .
, - (. 1.5.2), { , , }. , .
1.5.2. ().
. , . = , , , X I. - , , Xi1ÙXi2ÙÙXin, Xij = Aij, Aij , , Aij . ǒ .
, .
1.5.2 , , - , . . , 1.5.2 , 1.5.1. 䳿 .
1.5.3. , .
1 | 2 | f |
X | X | I |
X | I | I |
I | X | I |
I | I | X |
. f 1 Ù 2 , 1 Ù 2 , 1 Ù 2 , . :
|
|
f = (Ø1Ù2)Ú(1ÙØ2) Ú (Ø1ÙØ2).
- f = 1 Ú 2.