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


