, 1/0, . 4.3.3. S- , , . 1 : 1, , 0, 0 1. :
1002 0012 = 0112 (4 1 = 3); 0102 0012 = 0012 (2 1 = 1).
, 1/ 0, ( ), , . 1, . , , 1 ( 3). . 0. 0, 0/1 . , 1/0, 0. , 0/1, . , 3 (0112). , , ( , ) 1, , , 1/0, .
.
, . , . 4.3.1 4.3.3, , , , . . .
, . 4.3.4. ( ) ( ). , 1, . 0, . = 0, . . 1 0 . Q3, Q4, Q1.
, , . : k - (k 1) , t n (n 1), t n ; n . , , , . . , .
4.3.4.