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


