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

