(, ) , , () , , .
, . , , . , , ( , ), () , .
( ) , . ( ), .
(, ). .
, , , , , ( , , ).
, , , , , .
"", , (), .
: , , "0" "" , 0 , 1 "", , 1 .
, , 1 (""), 0 , "" ( 6.1 , ).
. 6.1.
(. 6.2), 1 ("") = 1, 0 ("") = 0.
. 6.2.
() (. 6.3 , , ):
. 6.3a.
. 6.3b.
. 6.3c.
(. 6.4)
. 6.4.
(), (. 6.5 , , ):
|
|
. 6.5a.
. 6.5b.
. 6.5c.
(. 6.6)
. 6.6.
, (. 6.7 , , ). .
. 6.7. , , . ()
, , , , , . () () ( ) . , (, , ) ( ), ( , 1 0) "" "" ( ).
, , , , .
. x y z p x y
x | y | z | p |
()
, , ( , i- ) (. 6.9):
. 6.9.
( ) (), , , . ( ).