1. ((X Y) (Y Z)) (X Z)
.
F1 | F2 | F3 |
X | Y | Z | X Y | Y Z | X Z | F1 F2 | (F1 F2) F3 |
. ((X Y) (Y Z)) (X Z) (- ).
2. .
.
( ) | ||||||
. , :
) A 0; B 0; C 0; ) A 0; B 1; C 0; ) A 0; B 1; C 1.
3. :
.
B | |||||||||
.
.
II. .
1. : - ; - ; - , , : X=(A C) (A B). , : - .
. Y=A C
A C | A B | X | Y=A C | |||
. X Y.
|
|
2. .
A | B | A B | |||||
. .
3. :
) ((X1 X2) X3) (X3 X1)
F1 | F2 | F3 | ||||
X1 | X2 | X3 | X1 X2 | F1 X3 | X3 X1 | F2 F3 |
1 | 0 | 1 | 0 | 1 | 1 | 1 |
1 | 1 | 1 | 1 | 1 | 1 | 1 |
. ((X1 X2) X3) (X3 X1) , :
1) X1 1; X2 0; X3 0; 2) X1 1; X2 1; X3 1
) ((X Y) (Y Z)) (X Z)
F1 | F2 | F3 | F4 | ||||
X | Y | Z | X Y | Y Z | F1 F2 | X Z | F3 F4 |
. ((X Y) (Y Z)) (X Z) .
4. .
. ; ;
, , .
.
1.
.
X | Y | X Y | ||||
2. .
3. , (X Y) .
.
X | Y | (X Y) | (X Y) | |||
. .
|
|
4. , ?
.
A | B | A B | |||||
. X1 X3
2.
1.
.
X | Y | X Y | ||||
2. .
3. , .
.
X | Y | X Y | |||||
. .
4. , ?
.
X | Y | |||||||
. A B
IV. . ( MATLOG).
. . .
:
- X X .
- : X X X, X X C
- (): X Y Y X, X Y Y X
- (): (X Y) Z X (Y Z), (X Y) Z X (Y Z)
- (): X (Y Z) (X Y) (X Z), X (Y Z) (X Y) (X Z)
- ,
- X 1 X, X 0 X
- X 0 0, X 1 1
- : X (X Y) X, X (X Y) X
- : (X Y) ( Y) Y, (X Y) ( Y) Y
1- . , , , , .
, . .
, : . . 5 . , .
. - - , .
, 2*2<>4
. . .
. .
: , .
( (1806-1871) - ) :
|
|
- .
- .
:
- ;
- .
:
- (X Y) ( Y) (X+Y) *( +Y) X* + Y* + Y*Y+ X*Y Y* + Y + X*Y Y* + Y(1+X) Y* +Y Y( +1) Y
- X (X Y) X*X+X*Y X+X*Y X(1+Y) X
.
1. (X Y) (Y X) .
2. .
3. .