bool p: [0,10) true; 
bool q: [0,9) false; [9,10) true;   
implicant in: [8.5,8.5] ;
implicant out2: [10-,10-] ;
implicant out1: [8.5+,10-];
bound [1,2] ;