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

