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




