bool p: [0,3) false; [3,8) true; [8,12) false;  
implicant in: [6,6] ;
implicant out: [4,5] ;
bound [1,2] ;


