bool p: [0,3) false; [3,5) true; [5,10) false; [10,12) true;  
implicant in: [1,5] ;
implicant out: [12-,12-];


