, - , , . - ?
:
1. ; - -. .
2. ( ). . , . - . " "
3. ; . , -.
:
.
- .
:
:
: , , .
- .
1. .
2. - - .
3. -
4. - ;
.
(A):
(I):
.
(E):
.
(O):
.
.
:
E | |||
I | O |
A-E . .
-I
.
E-O
A O
- .
E I
I O .
.
.
() .
&
2 .
A v B. .
.
. A -> B
, .
. . .
= B
.
, .
.
.
S P -
, .
.
: S+ P-
, , . S+ P+
|
|
P+.
I:
.
S- P-
:
.
S+ P+
:
.
S- P+
.
- (3 ), , .
.
- . , . . .
- . , -.
- .
.
- , , S P - ().
- .
.
-
P - - .
S - , 2 , .
S P .
:
1. 3 .
-
2 : - .
3 : , .
.
1. . - .
2. , . - . . - .
3. . ( ).
4. , . - . - . - .
;
:
; ;
; ;
- . - .
;
;
. ;
- . .
- - ;
.
!
;
: .
.
, ;
- ;
;
|
|
;
;
;
;
: ;
.
;
.
. . ;
- .