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