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

