10 .
11 .
:
: ) , (S), (P).
: S P ╞ S ┐P
, , .
) (S) (P).
: S P ╞ S ┐P
- .
) (S) (P).
: S P ╞ S ┐P
.
) (S) (P).
: S P ╞ S ┐P
.
2. :
) (S) (P).
: S P ╞ P S
.
) (S) (P).
: S P ╞ P S
, - .
3. :
) (S) (P).
: S P ╞ ┐ S
.
) (S) (P).
S P - .
4. :
) (S) (P).
: S P ╞ P ┐ S
.
) (S) (P).
: S P ╞ P ┐ S
.
5. : ; , .
) . , .
:
S ()
( )
P ( )
(P) () - ()
(S) () - ()
|
|
(S) (P) - ()
. -
S M
, , .
) , , . , .
:
S ()
( )
( )
, (), (P) - ()
(S) () - ()
(S) (P) - ()
. -
S M
, , .
6. . . , .
) . .
:
() (P) - ()
(S) () - ()
(S) (P) - ()
. -
S M
, .
, , .
) , , . .
:
, (P), (). - ()
(S) (). - ()
(S) (P). - ()
. -
S M
, .
, , .
7. , : ) ; ) . , ( , ).
) .
:
:
10 , → 10
|
|
,
:
10 , →
┐
, 10 ┐
, , .
:
:
, →
,
:
, →
┐
, ┐
8. - , , , : , .
) , , , . .
:
, , ,