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