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


