, , : , , , ( ). , -. , , , .
-. - - , ; (. 1.12).
. 1.12.
. 1.12 (a) ( ); () , ( (, .. true, , F, .. false - ); () ( ), . ( +), F- ( -).
- - (. 1.13), .
. 1.13.
. 1.13 -: - , ; - , , - -, , ( (), ()). S1 S2 , - , () (F) . , -, / .
- , S2 (. 1.14, ). - - (. 1.14, ).
. 1.14. ;
) - ; ) -
- ( . 1.15).
. 1.15. -
, , , . , , , . , , .
|
|
1. , , , . (, , ), (, , ) . , . . , , . .
2. . , , , - . , . , , , . .
3. , , , .. , , .
, , , . , . , , , .
.
4. - . , . , - .
5. , , . . .