.
1, 2, 3 .
1, 2, 3 .
:
) , . , . . , , , .
:
;
;
;
D ;
;
F .
:
.
:
, , .
, , D .
, F, .
, , .
.
) , , . , , . , .
:
;
, , D , .
:
.
:
, , , D .
, , D .
.
.
, , , D.
, , .
, -, D.
:
1. :
;
.
2. :
, ;
, .
:
, , , , . , , , . . , , .
:
;
.
:
;
;
;
D ;
.
:
, , , D, .
, , , D.
, -, .
, .
6.
,
1. .
|
|
:
.
.
.
2. , .
:
.
.
3. .
:
.
, , .
4. . :
5. .
2. ()
1: | ? |
1. . ;
2. . ;
3. . ;
4. . .
2: | ? |
1. , . , ;
2. . ;
3. . .
3: | , , . |
1. . ;
2. . ;
3. . ;
4. . ;
5. . ;
6. . . . .
4: | , , . |
1. 1- . 1- ;
2. . ;
3. . ;
4. .
5. ;
6. . .
|
|
5: | , . |
1. , , ;
2. , ;
3. - , ;
4. . , ;
5. . , ;
6. , . , , ;
7. . , ;
8. . . , .
6: | , - . |
1. . : - , . , - , - ;
2. , , : , ?. , , - . , , , - , - ;
3. 5 . 3 2 5. , 3 2 ;
4. : , ;
5. . , . , , ;
6. , , ;
7. , ;
8. , .
3.
7: | ( ). |
1. ;
2. ;
3. ;
4. ;
5. , ;
6. ;
7. ;
8. .
8: | . |
1. , ;
2. , ;
3. , , ;
4. , , ;
5. , , , 2109;
6. , , ;
7. , , ;
8. , , ;
9. , , ;
10. , , , .
11. , , , , .
12. , , , .
13. , , , .
14. , , , , , .
15. , , , .
9: | , : |
1. ;
2. ;
3. ;
4. ;
5. .
10: | : |
1. ;
2. ;
3. , ;
4. ;
5. ;
|
|
6. ;
7. ;
8. .. ;
9. ;
10. , , .
11: | : |
1. ;
2. ;
3. ;
4. ;
5. - ;
6. ;
7. ;
8. ;
9. ;
10. .
12: | : |
1. ;
2. , ;
3. , ;
4. ;
5. , ;
6. , ;
7. , ;
8. ;
9. ;
10. .
13: | , , . |
1. ;
2. ;
3. , ;
4. ;
5. ;
6. ;
7. , ;
8. .
14: | ? , , . |
1. , , ;
2. , ;
3. , ;
4. , ;
5. ;
6. ;
7. , ;
8. ;
9. ;
10. .
15: | : , , , , . |
4.
16: | . |
1. ;
2. ;
3. ;
4. , , ;
5. ;
6. , ;
7. , , ;
|
|
8. ;
9. ;
10. .
17: | , , , , . |
1. ;
2. ;
3. ;
4. ;
5. ;
6. ;
7. .. ;
8. ;
9. ;
10. ;
11. ;
12. .
18: | . . |
1. , ;
2. ( );
3. , ;
4. - ;
5. , ;
6. , - ;
7. , - ;
8. ;
9. -;
10. , , - .
19. | . |
1. . .
2. . , . , . .
3. , , .
4. , .
5. , , .
6. , .
20 | , . |
1. ^ ^ c 2. (a ^ b) -> c
3. a ^ ~b ^ ~c 4. (a -> b) ^ (b -> c)
5. b -> (a v c) 6. (a v b) -> ~c
7. a <-> (b v c) 8. (~a ^ ~b) -> ~c
21 | , : |
1. , . , .
2. ) , , , . .
3. ) , , , .
4. , . , .
5.
22: | , . |
1. .
2. .
3.
4. .
5. .
6. .
23: | , . |
1. .
|
|
2. .
3. .
4. .
5. .
6. .
24: | . |
1.
2.
3.
4.
5.
6.
7.
8.
9.
10. ,
25: | . |
1.
2.
3.
4.
5.
6.
7.
8.
9.
10. .
26: | . |
1.
2.
3.
4.
5.
6. .
27: | . |
1.
2. ,
3.
4.
5.
6. .
28: | , . , ? |
1. , , ;
2. , , , ;
3. , , ;
4. . . , - ;
5. . - . , ;
6. . . , .
29: | . |
1. , ;
2. , ;
3. , ;
4. , , ;
5. , , ;
6. , , .
30: | , . |
1. . ;
2. , , . , , ;
3. . , , ;
4. . , ;
5. . ;
6. . ;
7. . ;
8. . , , ;
9. . ;
10. . .
11. . .
12. . , , .
13. . .
31: | , ( ). |
1. . , , . ;
2. , , . . , , ;
3. . , , . . , ;
4. , , . . . ;
5. , . , . . , , . ;