“…Application of blanket algebra to describe the logic dependencies in the FSM presented in Table 1(a). 2,3,5,6,7,9,11,13,14,15,18,19 2,9,12,15,16; 6,7,8,13,17,19,20; 3,4,5; 10,11,14,18}, It is easily verified that blankets presented above satisfy condition (1).…”