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