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


