bool p: [0,7) true; [7,7] false; (7,10) true;  
implicant in: [5,5] ;
implicant out: [7,7] ;
bound [0,2] ;


