bool p: [0,1) false; [1,3) true; [3,10) false; 
implicant in: [3,5] ;
implicant out: [4,6] ;
