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