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