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


