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