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