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


