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


