bool p: [0,1) false; [1,3) true; [3,4] false; (4,6) true; [6,6] false; (6,7) true; [7,8) false; [8,8] true; (8,9) false;
implicant in: [0,1-] [3.5,3.5] [7+,8-] [8+,8.5];
implicant out: [0-,1-] [3.5-,3.5+] [7+,8-] [8+,8.5+];
