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