bool p: [0,2) false; [2,8] true; (8,12) false; 
implicant in: [1,1] ;
implicant out: [5,5] ;
bound [2,4] ;