20) , .
- , , . , , .. .
, , , , .
16) .
() , 0 1, , . 1927 . . .
( ) , ( ) 1.
:
. , , , 1. :
:
:
, . .
,
17) , .
, .
, .
. F, F , -. F - P(F), - - Q(F). P(F) .
, , w(F)=(00100111) P(F) Q(F) :
|
|
,
.
- P(F) Q(F) :
1. P(F) Q(F) F .
2. P(F) Q(F) n ,
F .
3. P(F) (Q(F)) ,
( ).
, : , .
22) .
, , , , , .
. , , :
, ;
, ;
:
;
.
21) , . , , .
( , - , ).
, , , , . . , , 2 0 1 , , 1+1=0, 0 ( 0 , 1+1 ).
, - , ( , .
, , , :
|
|
1. , 0.
2. , 1.
3. .
4. .
5. .
:
, : . , , , .
1941 , .
1. : .
2. : .
, : .
3. :
.
, :
, 0:
.
, 1:
.
:
.
:
.
:
19)
2 .
, S4={⊕,&,1} .
:
1. : A× 1 º A; A× 0 º 0; A Å 0 º A.
2. : A× A º A; A Å A º 0.
3. : A× B º B× A; A Å B º B Å A.
4. : (A Å B) Å C º AÅ (B Å C); (A× B)× C º A× (B× C).
5. : A× (B Å C) º A× B Å A× C.
, : A Å 1 º ` A; AÚ B=A Å B Å A× B.
, : A Å B =` A× BÚ A× ` B
.