bool p: [0,6) true; [6,6.3) false; [6.3,10) true;  
implicant in: [5,5] ;
implicant out: [6.3-,6.3-] ;
bound [0,2] ;


