bool p: [0,5.5) true; [5.5,5.5] false; (5.5,10) true;
bool q: [0,10) false;     
implicant in: [6,6] ;
implicant out1:  [5.5,5.5] ;
implicant out2:  ;
bound [1,2] ;