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


