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