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