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


