bool p: [0,10) false; [10,10] true; (10,12) false;  
implicant in: [10+,10+] ;
implicant out: [10+,12-] ;


