bool p: [0,3) false; [3,4) true; [4,6) false; [6,12) true;   
implicant in: [7,8] ;
implicant out: [6,6] [4-,4-] ;
bound [2,4] ;

