, , : , .
, , , , . , , , , .
: . , , . , , , . , , . ‑, (, ), , . , , , . , , [42], , . , , , , , , .
, : , , , , , . , , , ‑, . , , , , . , , .
. , . , , . , , , : . , , . , , , . , ?
|
|
. 9.2 , , . , . , . , , , , . , , , . , , , , .
. 9.2. , n ‑ () p ‑ ()
‑ . , . , , , . , , , . , , , . , , , n ‑ ( negative ).
. 9.2 , , . . , , . , . , , . . , , . , , ‑ ( positive ). , , .
|
|
, , , , . ?
. 9.3 , ‑ : , , n ‑ ‑. n ‑ , ‑ .
. 9.3. n ‑ ‑
n ‑ ‑, ‑ n ‑. ; , . , ( n ‑) ( ‑). , .
. 9.3 , . , . n ‑ , , . , . , , : , . , , , .
, , , , . , , , . , , . , ‑, . n ‑ ‑. , , , . , ( ) , ‑.
. , . ‑ ; . , n ‑ ‑. , : , .
, pn ‑ , n ‑ ‑ . ‑, , . ‑ ( n ‑) , . n ‑ ‑, , . pn ‑ : , , [43]. .
|
|
. 9.4 , , . , , p ‑ n ‑. , . n ‑ ‑, , ‑ . , , , .
. 9.4.
, n ‑ ‑ . ( Vc) ‑ ( Vb). . : , n ‑ (, ). Vc , Vb, ‑. , . , ‑ .
: . . 9.5 . , ‑ . . , , , .
. 9.5.
? , , .
. 9.6 , . , . , , , . . 1, 0, 1, 0, ( ) 1 1 = 1, 1 0 = 0, 0 1 = 0 0 0 = 0. , : , , . ( ) ( ), 1 1. , , .
|
|
. 9.6. , () ().
, , ( ‑, Vb1 Vb2), .
. 9.7. , , , . , : 1 1 = 1, 1 0 = 1, 0 1 = 1 0 0 = 0. . , , .
. 9.7. , () ()
. , . ( ), ( ). , , . , , , ‑ , ( ) , , .
, . , 100 : . : , , , .
, 1956 . , , .
, . , . , , , , . , . ‑ , , , , , , , , , . . , , . . ? , , , , , , , .
|
|
, , , , , . , , , , , , . : , , , .
, QED. 1920‑ , . , , , 19201930‑ . , , ? , , ? , , , , , .
, , . , , , 1947 ‑, ‑ ‑, , . , , XX . : , , , , , , , , , , , , , , , , , , , , , , . , , , . : , , . , , , ‑ . , . , , , . , , . , .
‑, , , . , , , : .
QED , , , , (). , . , , , , ‑ . , , QED. , , QED.
, , . . 3.6 ‑ . , , . , .
, , , , . , , ; , .
, , , , . , , C (A, 0) P (A, B, T), C (A, 0) , P (A, B, T) , [44]. P (A, B, T) ( . . .) . , , . . 4.2 , . C (X, T) = C (X 1, 0) P (X 1, X, T) + C (X 2, 0) P (X 2, X, T) + C (X 3, 0) P (X 3, X, T) +, X 1, X 2, X 3 ( . 4.2). : C (X 3, 0) P (X 3, X, T) 3 . , . , , , : 3 , 3 , , , . , , , .
, . . , , , = 0 1, 12 . , , , , , . 5 2 , P (A, B, T) , 1/5 = 0,2, 10 ( 2 12). ‑.
, : C (X 1, 0) C (X 2, 0), P (X 1, X, T), P (X 2, X, T) , .
, : , . : .
, : (1 × 0,2 = 0,2) , : 12 10, 2 . , ‑ , , , . , , . , , .