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


