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