(4 )
4-.
(2 )
1. , . .
2. . .
3. .
4. . .
1. . , :
1.1. , , ;
1.2. ;
1.3. IBM ;
1.4. ;
1.5. ;
1.6. ;
1.7. ;
1.8. , ;
1.9. ;
1.10. ;
1.11. ;
1.12. ;
2. :
2.1. ;
2.2. ;
2.3. ;
2.4. ;
2.5. .
3. (, , I, ), :
;
;
;
;
;
.
4. , , I, , :
4.1. , ;
4.2. , ;
4.3. - ;
4.4. - .
5. , :
, I, O, ;
I, O, ;
, , I, ;
, , O, I ;
, I, O, ;
, , I, ;
I, O, ;
, , O, I ;
6. , , :
6.1. .
6.2. .
6.3. .
6.4. .
6.5. .
: ()
()
(I)
(0).
7. :
7.1. , - ;
|
|
7.2. - ;
7.3. - ;
7.4. - - - .
.. . - ., 1986, . III. 1,2.
.. . . - .,1991.
.., .. . - ., 1982, .IV, 1-3.
. . - ., 1991, . I, 1.
/ . .. - ., 1998, . I.
.. , ., 2002, .III, . 1, 1-5.
.. . - ., 1991, . III.
. ., 1990, . III, 13-21.
. - , 1987, .II, 14-21.
1. ?
2. ?
3. ? ?
4. ?
5. ?
6. ?
7. - ?
8. ?
9. , ?
10. ?
11. ?
12. ?
13. ?
14. ?
5.
(2 )
1. . .
2. . .
3. . .
1. :
1.1. , (..);
1.2. ;
1.3. , (..);
1.4. , ;
1.5. , : , , , , , ;
1.6. , , ;
1.7. ;
1.8. , ();
1.9.
(..);
1.10. , - 180;
1.11. ..;
1.12. . , ;
1.13. , ;
1.14. , .
2. , :
2.1.p & q , q ;
2.2.p v q , q ;
2.3.p v q , q ;
2.4.p q , q ;
2.5. p q , q ;
3. :
ù(p(p\/q));
ùp & ùq;
|
|
(p & q) p;
ù p\/q.
4. , :
4.1. ?
4.2. , , ?
4.3. ..?
4.4. ?
4.6. ?
4.6. ?
4.7. , ?
4.8. ?
4.9. ?
4.10. ?
4.11. 2?
5. :
5.1. , ,
,
:
?
,
?
:
(.).
5.2. . , , , , : ( ) , (.).
. . . - ., 1986, . , 3.
.. . . - .,1991.
.., .. . - ., 1982, . V, 1-2.
/ . .. -., 1998, . I, VII.
.. , ., 2002, . III, . 2, 1 - 3, . 3, 1- 4.
.. . - ., 1991, . II.
. - ., 1990, . III, 18,22,23.
. . . - ., 1982.
. - , 1987, .II, 22.
1. ?
2. ?
3. ? ?
4. ?
5. ?
6. ?
7. ?
8. , . , ?
9. ?
10. ?
11. ?
12. ?
13. ?
14. ?
15. ?
16. ?
17. ?
18. ?