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


