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