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