>> 8 .
1.3.
, , .
, . , (), . , , .
. 1.5 () , , .
() (. 1.5, ). , .
() (. 1.5, ). 0, 1 .
, , , , , . 10-11 .
3. , . . , F A B .
. . . 4 .
, . . . , . ,
(http://kpolyakov.narod.ru/prog/logic.htm).