1), 2), 3), 4), 5) .
9. , . 5), , .
, :
1. .
. :
;
;
;
;
C.
. , , 18.
19. () , n , , :
1) ;
2) ;
3) - ;
4) , .
, , ( , , 0 1, 1 0).
10. - ( ), . , . .
, :
2. .
. :
;
;
;
;
C.
3. , , , .
. , , , 1,2. .
, :
20. () , :
1) () ;
2) () .
f . f , , . , , f , :
.
, . .
f , . , f .
,
: 5- , 0, , , , 1. , :
|
|
1) , 1, ;
2) , 1 , , 0;
3) .
:
1) , 0, ;
2) , 0 , , 1;
3) .
. ,
;
x | y | z | |||
: f = ;
: f = .
11. 18, 20 .
, .
:
:
21. () , () .
1.5.
22. , .
G F, ├ .
6. ├ ╞ .
.
23. G , .
G , ├ . , a G .
7.
1) ├ ,
2) ├ ,
3) ╞
.
.
1. . .
2. , G, , G .
, . , . , G , G 1, . , .
. . .
1 2 | F 1 | F 2 | G 1 | G 2 | G 3 | G 4 |
0 0 | ||||||
0 1 | ||||||
1 0 | ||||||
1 1 |
G. , G. G , G , 0. , G F, F 0. F . F G.
|
|
. . G.
1 2 | G | F 1 | F 2 | F 3 | F 4 |
0 0 | |||||
0 1 | |||||
1 0 | |||||
1 1 |
, .
8. G, , , , , , , G .
, .
, , , . , , .
.
n , , , .
1.6.
G , ,
.
, ├ .
(modus pones, MP); | |||
; | |||
; | |||
; | |||
; | |||
; | |||
. | |||
. : " , . , . , , ".
, . .
" " , " " , " " . :
.
A B C | ||||
0 0 0 | 1 | 1 | ||
0 0 1 | 1 | 1 | ||
0 1 0 | 1 | 1 | ||
0 1 1 | ||||
1 0 0 | 1 | 1 | ||
1 0 1 | ||||
1 1 0 | 1 | 1 | ||
1 1 1 |
, , .
1. " " " ". , (, ), , , Ú, , :
|
|
) " " " ";
) " ", " ";
) " ";
) " , ";
) " , ";
) ", ";
) " , ";
) " , ".
2. , . 1, :
a) ; ) ;
) ; ) ;
) ; e) ;
) ; ) .
3. :
a) ; ) ;
) ; ) .
4. :
a) ; ) ;
) ; ) ;
) ; ) ;
) ; ) .
5. :
a) ;
) ;
) ;
) .
6. , :
a) ; ) ;
) ; ) .
7. :
a) ; ) ;
) ; ) ;
) ; ) .
8. .
a) ; ) ;
) ; ) .
9. , , , .
) 6 , 12 ; 12 , , 12; 12, 12; 6 2, 6 ; 12 . , 6 .
) a 8, 4 a 9, 3; a 3 8, 24; a 24. , a 4 3.