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


