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-];
implicant out1: [1+,3-];
bound [1,2] ;