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


