bool p: [0,11.5) false; [11.5,12) true; 
implicant in: [9,9] ;
implicant out: [12-,12-] ;
bound [2,4] ;