, , . .
, , . , , , , , . , .
(2) . () , (S) . , . , , , .
Si, S2,..., Sn . , . P(S)>P(H), , . , , , P(S) = (). . , P(S)< P(H), . , 1, .. P(S) = 1. ( ) .
- , . , , , . . , , !!!!!!!!!!!!!!!!!!.
53. .
|
|
- , , . .
, , .
- , , .
. : ; ; .
: (1) (2) .
(1) . . .
, , , , .. - , . , , . .
, , . , , , .
(2) . , , . , , , , , . , , , , , , , ..
.
, .
- - . : <H1vH2vH3>H1,H2|H3
, , -, , , , -, . , , , , .
|
|
, , - , .
.
, . , . , , .
, , , . : (1) , (2) (3) . - .
, , . , , , , . , .
. .
, .
, , , .
K .
, , , , , , : {Sa, Sb,..., Sj}.
{Fa, Fb,..., Fi}, , , Hi, .
, : Hi, {Sa, Sb,..., Si}. :H1↔ S
. , Fa, Fb,..., Fj Sa, Sb,..., Si, Hi.
:H1↔ S,S| H1
, , .
54. , .
|
|
.. . . ( .) .
. , .
, . , .
, . : .
, . - , .
, .
. : , , .
, - , , - .
: , , , . (), .
. . , . , .
, , , . .
- .
, , , .
, . , , .