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

