1
=
: S = ,
1 = ,
2 = ,
:
= S 1 S 2
: = - ,
= - ,
:
=
2
F =
:
S1 = ,
S2 = ,
S3 = ,
S4= ,
P = ,
:
F = S3 S4 , S1 S2
:
= ,
= ,
= ,
D = ,
F = D,
: , , Ȕ , ( Ȕ), , .
3
G =
S1 = ,
S2 = ,
S3 = ,
1 =
2 = ,
3 = ,
:
G = S1 1, (S2 2 S3 3)
= ,
= ,
= ,
:
G = ,
: - ..., ..., .
4
: , , . . , .
. :
= " ,
= ,
|
|
= ,
:
:
( V B V C) & (B & C) ==> A
. , , , - .
5
, , ( ). . ,
:
= ,
= , .
:
: ,
: ( ==> A) & A ==> B
, , , .
6
.
.
.
,
:
= ,
= ,
= ,
D =
:
==> B
C ==> A
D D ==> C
D B D ==> B
. , .