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


