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

