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


