bool p: [0,4) false; [4,10) true; 
bool q: [0,5) false; [5,10) true;   
implicant in: [5.5,5.5] ;
implicant out2: [7.5,7.5] ;
implicant out1: [5.5+,7.5-];
bound [1,2] ;