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


