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


