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