bool p: [0,3) true; [3,5) false; [5,12) true;  
implicant in: [6,6] ;
implicant out: [4,4] ;
bound [0,2] ;


