bool p: [0,5) false; [5,10) true; [10, 12) false;   
implicant in: [1+,4-] ;
implicant out: [5+,5+] [7+,7+] ;
bound [2,4] ;