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: [1,1] [4,4] [6,6] [8,8];
implicant out: [1-,1] [4,4+] [6,6+] [8-,8];
