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