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


