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


