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