, , , , . .
, (. 9.2, 9.3 9.4).
: B (TRUE) ( ), S 1; B (FALSE) S 2. (. 9.3).
, , ( ), , . , , .
. . (, Y) (. 9.10). . : , = 2 .
. 9.10. ,
- 9.11.
. 9.11. -
9.11 9.2 9.3, , . x ≥ 2 : 1, 2, 3, 4, 5, 7. , x ≥ 2, 5 X,Y ». x < 2, : 1, 2, 3, 4, 6, 7, .. 6 X,Y . .
9.2 , - .
9.8
z , 9.12:
. 9.12. 9.8
.
1. = 7 y = 5.
2. x > y, , , 2 3.
3. z = x + y = 7+5 = 12.
5. z .