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