bool p: [0,1) false; [1,3.3) true; [3.3, 3.8) false; [3.8, 4.2) true; [4.2, 4.9) false; [4.9, 10) true;  
implicant in: [2,3] ;
implicant out: [4.0-,4.0-] [5.0-,5.0-] ;